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