|
Journals in DBLP
Inf. Comput. 2000, volume: 156, number: 1-2
- Catuscia Palamidessi, Joachim Parrow, Rob J. van Glabbeek
Preface. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:1- [Journal]
- Zena M. Ariola, Jan Willem Klop, Detlef Plump
Bisimilarity in Term Graph Rewriting. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:2-24 [Journal]
- Ralph-Johan Back, Joakim von Wright
Contracts, Games, and Refinement. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:25-45 [Journal]
- Roberto Bruni, Ugo Montanari
Zero-Safe Nets: Comparing the Collective and Individual Token Approaches. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:46-89 [Journal]
- Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:90-121 [Journal]
- Flavio Corradini
Absolute versus Relative Time in Process Algebras. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:122-172 [Journal]
- Gian Luigi Ferrari, Ugo Montanari
Tile Formats for Located and Mobile Systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:173-235 [Journal]
- François Laroussinie, Ph. Schnoebelen
Specification in CTL+Past for Verification in CTL. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:236-263 [Journal]
- Richard Mayr
Process Rewrite Systems. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:264-286 [Journal]
- Uwe Nestmann
What is a "Good" Encoding of Guarded Choice? [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:287-319 [Journal]
- Alexander Moshe Rabinovich
Expressive Completeness of Duration Calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:320-344 [Journal]
- Arend Rensink
Bisimilarity of Open Terms. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2000, v:156, n:1-2, pp:345-385 [Journal]
|