There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book

ISBN (Print): 978-3-540-60218-7

ISBN (Electronic): 978-3-540-44738-2

Publication date (Print): 1995

DOI: 10.1007/3-540-60218-6

SO-VID: 7839208a-842c-4bec-9ffd-c4b8e88261ba

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 8

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
Authors: Marco Bernardo, Michele Loreti, Rocco De Nicola
Alternation Is Strict For Higher-Order Modal Fixpoint Logic
Authors: Florian Bruse
A Parametric Framework for Reversible \(\pi\)-Calculi
Authors: Iain Phillips, Nobuko Yoshida, Claudio Mezzina …

See all cited by

CONCUR '95: Concurrency Theory

Read this book at