Electronic Notes in Theoretical Computer Science, Volume 7

Volume 7, 1997

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

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/PalamidessiP97
- ask others
Catuscia Palamidessi, Joachim Parrow: Foreword. 1-2
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AcetoHIK97
- ask others
Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist: Relating semantic models for the object calculus. 3-18
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AriolaKP97
- ask others
Zena M. Ariola, Jan Willem Klop, Detlef Plump: Confluent rewriting of bisimilar term graphs. 19
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BackW97
- ask others
Ralph-Johan Back, Joakim von Wright: Contracts, games and refinement. 20-33
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BaierK97
- ask others
Christel Baier, Marta Z. Kwiatkowska: Domain equations for probabilistic processes. 34-54
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BruniM97
- ask others
Roberto Bruni, Ugo Montanari: Zero-safe nets, or transition synchronization made simple. 55-74
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/BusiGZ97
- ask others
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. 75
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Corradini97
- ask others
Flavio Corradini: Absolute versus relative time in process algebras. 76-95
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CorradiniFP97
- ask others
Flavio Corradini, Gian Luigi Ferrari, Marco Pistore: Eager, busy-waiting and lazy actions in timed computation? 96-114
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FerrariM97
- ask others
Gian Luigi Ferrari, Ugo Montanari: Tiles for concurrent and located calculi? 115-140
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/GehrkeR97
- ask others
Thomas Gehrke, Arend Rensink: Process creation and full sequential composition in a name-passing calculus. 141-160
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/LaroussinieS97
- ask others
François Laroussinie, Ph. Schnoebelen: Specification in CTL+Past, verification in CTL. 161-184
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mayr97
- ask others
Richard Mayr: Process rewrite systems. 185-205
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Nestmann97
- ask others
Uwe Nestmann: What is a `good' encoding of guarded choice? 206-226
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Pratt97a
- ask others
Vaughan R. Pratt: Types as processes, via Chu spaces. 227-247
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Rabinovich97
- ask others
Alexander Moshe Rabinovich: On expressive completeness of duration and mean value calculi. 248-261
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Rensink97
- ask others
Arend Rensink: Bisimilarity of open terms. 262