Modal logic and process algebra : a bisimulation perspective - Ponse, A. (Alban); Rijke, Maarten de.; Venema, Yde. (Stanford, Calif. : CSLI Publications, 1995)
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.
Includes index.
Keywords: Formal languages -- Congresses; Modality (Logic) -- Congresses; Parallel processing (Electronic computers) -- Congresses