default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation 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.
last updated on 2025-03-01 15:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
