EXPRESS 97: List of Accepted Papers ------------------------------------------------------------------------------- Absolute versus Relative Time in Process Algebras by Flavio Corradini ------------------------------------------------------------------------------- On Expressive Completeness of Duration and Mean Value Calculi by Alexander Rabinovich ------------------------------------------------------------------------------- What is a `Good' Encoding of Guarded Choice? by Uwe Nestmann ------------------------------------------------------------------------------- Eager, Busy-Waiting and Lazy Actions in Timed Computation by Flavio Corradini,GianLuigi Ferrari,Marco Pistore ------------------------------------------------------------------------------- Process Rewrite Systems by Richard Mayr ------------------------------------------------------------------------------- Domain Equations for Probabilistic Processes by Christel Baier, Marta Kwiatkowska ------------------------------------------------------------------------------- Process Creation and Full Sequential Composition in a Name-Passing Calculus by Thomas Gehrke,Arend Rensink ------------------------------------------------------------------------------- Relating Semantic Models for the Object Calculus: Preliminary report by Luca Aceto, Hans Huttel, Anna Ingolfsdottir, Josva Kleist ------------------------------------------------------------------------------- Specification in CTL+Past, Verification in CTL by F. Laroussinie, Ph. Schnoebelen ------------------------------------------------------------------------------- On the Turing--Equivalence of Linda Coordination Primitives by Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro ------------------------------------------------------------------------------- Bisimilarity of Open Terms by Arend Rensink ------------------------------------------------------------------------------- Confluent Rewriting of Bisimilar Term Graphs by Zena M. Ariola, Jan Willem Klop, Detlef Plump ------------------------------------------------------------------------------- Zero-Safe Nets, or Transition Synchronization Made Simple by Roberto Bruni, Ugo Montanari -------------------------------------------------------------------------------