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