Modal logic and process algebra : a bisimulation perspective /
Ponse, A.(Alban),1955-
Rijke, Maarten de.
Venema, Yde,1963-
Stanford, Calif. : CSLI Publications,
c1995.
Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.
Includes bibliographical references and index.
Formal languages
Modality (Logic)
Parallel processing (Electronic computers)