An edition of Modal logic and process algebra (1995)

Modal logic and process algebra

a bisimulation perspective

by

  • 1 Want to read
Cover of: Modal logic and process algebra by Maarten de Rijke
Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
July 31, 2020 | History
Edit
An edition of Modal logic and process algebra (1995)

Modal logic and process algebra

a bisimulation perspective

by

  • 1 Want to read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
CSLI Publications
Language
English
Pages
327

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Formal languages, Modality (Logic), Congresses, Parallel processing (Electronic computers), Modality (logic), Parallel processing (electronic computers), Algebra, abstract, Modal analysis
Edition Availability
Cover of: Modal logic and process algebra
Modal logic and process algebra: a bisimulation perspective
1995, CSLI Publications
in English

Add another edition?

Book Details

Edition Notes

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

Published in
Stanford, Calif
Series
CSLI lecture notes ;, no. 53

Classifications

Dewey Decimal Class
005.13/1
Library of Congress
QA267.3 .M63 1995, QA267.3.M63 1995

The Physical Object

Pagination
xix, 327 p. :
Number of pages
327

ID Numbers

Open Library
OL797048M
Internet Archive
modallogicproces00pons
ISBN 10
188152695X, 1881526968
LCCN
95032985
Library Thing
3596938
Goodreads
5851348
3231057

Source records

Internet Archive item record
Internet Archive item record
Better World Books record
Better World Books record
Library of Congress MARC record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 31, 2020 Edited by ImportBot import existing book
April 9, 2019 Created by MARC Bot import existing book