Modal logic and process algebra : a bisimulation perspective :: ISBN 1881526968 :: CSLI Publications 1995 :: OBNB, the Open British National Bibliography

Publication Data

Title Modal logic and process algebra : a bisimulation perspective
Contributors A. Ponse, Maarten de Rijke, Yde Venema
Publisher CSLI Publications
Publication date 1995
Publication location Stanford, Calif
Language English

Descriptive Notes

Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.

Topics

Formal languages :: Congresses
Modality (Logic) :: Congresses
Parallel processing (Electronic computers) :: Congresses

Catalogue Data

OBNB ID GB9650108
ISBN 10 1881526968
ISBN 13 n/a
Type BibliographicResource, Book

ISBD

P1053 xix, 327 p.
P1042 Includes bibliographical references.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Modal logic and process algebra : a bisimulation perspective. ISBN 1881526968. Published by CSLI Publications in 1995. Publication and catalogue information, links to buy online and reader comments.