|
Journals in DBLP
Inf. Comput. 2001, volume: 165, number: 2
- Samson Abramsky, Luca Aceto, Anna Ingólfsdóttir
Corrigendum: A Domain Equation for Bisimulation: Volume 92 Number 2 (1991), pages 161-218. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:2, pp:119-122 [Journal]
- Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci
Implementing Shared Memory on Mesh-Connected Computers and on the Fat-Tree. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:2, pp:123-143 [Journal]
- Roberto Baldoni, Jean-Michel Hélary, Michel Raynal
Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:2, pp:144-173 [Journal]
- Alberto Bertoni, Marco Carpentieri
Regular Languages Accepted by Quantum Automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:2, pp:174-182 [Journal]
- Georg Gottlob, Reinhard Pichler
Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:165, n:2, pp:183-207 [Journal]
|