Stop the war!
Остановите войну!
for scientists:
default search action
Information and Computation, Volume 156
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, Philippe 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.