Electronic Notes in Theoretical Computer Science, Volume 7

Volume 7, 1997

EXPRESS'97
Santa Margherita Ligure, Italy, 8-12 September 1997

Catuscia Palamidessi, Joachim Parrow:
Foreword.
Electronic Edition (link) BibTeX
Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist:
Relating semantic models for the object calculus.
Electronic Edition (link) BibTeX
Zena M. Ariola, Jan Willem Klop, Detlef Plump:
Confluent rewriting of bisimilar term graphs.
Electronic Edition (link) BibTeX
Ralph-Johan Back, Joakim von Wright:
Contracts, games and refinement.
Electronic Edition (link) BibTeX
Christel Baier, Marta Z. Kwiatkowska:
Domain equations for probabilistic processes.
Electronic Edition (link) BibTeX
Roberto Bruni, Ugo Montanari:
Zero-safe nets, or transition synchronization made simple.
Electronic Edition (link) BibTeX
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Turing equivalence of Linda coordination primitives.
Electronic Edition (link) BibTeX
Flavio Corradini:
Absolute versus relative time in process algebras.
Electronic Edition (link) BibTeX
Flavio Corradini, Gian Luigi Ferrari, Marco Pistore:
Eager, busy-waiting and lazy actions in timed computation?
Electronic Edition (link) BibTeX
Gian Luigi Ferrari, Ugo Montanari:
Tiles for concurrent and located calculi?
Electronic Edition (link) BibTeX
Thomas Gehrke, Arend Rensink:
Process creation and full sequential composition in a name-passing calculus.
Electronic Edition (link) BibTeX
François Laroussinie, Ph. Schnoebelen:
Specification in CTL+Past, verification in CTL.
Electronic Edition (link) BibTeX
Richard Mayr:
Process rewrite systems.
Electronic Edition (link) BibTeX
Uwe Nestmann:
What is a `good' encoding of guarded choice?
Electronic Edition (link) BibTeX
Vaughan R. Pratt:
Types as processes, via Chu spaces.
Electronic Edition (link) BibTeX
Alexander Moshe Rabinovich:
On expressive completeness of duration and mean value calculi.
Electronic Edition (link) BibTeX
Arend Rensink:
Bisimilarity of open terms.
Electronic Edition (link) BibTeX