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