Modal logic and process algebra : a bisimulation perspective

Web Site CiNii Available at 40 libraries

Bibliographic Information

Title
"Modal logic and process algebra : a bisimulation perspective"
Statement of Responsibility
edited by Alban Ponse, Maarten de Rijke & Yde Venema
Publisher
  • Center for the Study of Language and Information
Publication Year
  • c1995
Book size
24 cm
Series Name / No
  • : pbk

Search this Book/Journal

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

Includes bibliographical references and author index

"CSLI publications"

Related Books

See more

Details 詳細情報について

Back to top