EXPRESS '97. Papers from the conference, Santa Margherita Ligure, Italy, September 8--12, 1997 (Q1273556)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Back, Ralph J. R.; von Wright, Joachim}, Contracts, games and refinement, 14 p. [Zbl 0911.68114] \textit{Rabinovich, Alexander}, On expressive completeness of duration and mean value calculi, 14 p. [Zbl 0911.68138] \textit{Aceto, Luca; Hüttel, Hans; Ingólfsdóttir, Anna; Kleist, Josva}, Relating semantic models for the object calculus, 16 p. [Zbl 0911.68123] \textit{Ariola, Zena M.; Klop, Jan Willem; Plump, Detlef}, Confluent rewriting of bisimilar term graphs, 18 p. [Zbl 0911.68090] \textit{Corradini, Flavio; Ferrari, GianLuigi; Pistore, Marco}, Eager, busy-waiting lazy actions in timed computation?, 19 p. [Zbl 0911.68116] \textit{Bruni, Roberto; Montanari, Ugo}, Zero-safe nets, or transition synchronization made simple, 20 p. [Zbl 0911.68149] \textit{Corradini, Flavio}, Absolute versus relative time in process algebras, 20 p. [Zbl 0911.68137] \textit{Gehrke, Thomas; Rensink, Arend}, Process creation and full sequential composition in a name-passing calculus, 20 p. [Zbl 0911.68054] \textit{Baier, Christel; Kwiatkowska, Marta}, Domain equations for probabilistic processes, 21 p. [Zbl 0911.68087] \textit{Mayr, Richard}, Process rewrite systems, 21 p. [Zbl 0911.68093] \textit{Nestmann, Uwe}, What is a `good' encoding of guarded choice?, 21 p. [Zbl 0911.68096] \textit{Pratt, Vaughan R.}, Types as processes, via Chu spaces, 21 p. [Zbl 0911.68141] \textit{Busi, Nadia; Gorrieri, Roberto; Zavattaro, Gianluigi}, On the Turing-equivalence of Linda coordination primitives, 22 p. [Zbl 0911.68139] \textit{Laroussine, François; Schnoebelen, Philippe}, Specification in CTL+past, verification in CTL, 24 p. [Zbl 0911.68140] \textit{Rensink, Arend}, Bisimilarity of open terms, 25 p. [Zbl 0911.68066] \textit{Ferrari, GianLuigi; Montanari, Ugo}, Tiles for concurrent and located calculi?, 26 p. [Zbl 0911.68056]