This book is currently unavailable on Open Library, check out available alternatives.
An edition of Linear time, branching time, and partial order in logics and models for concurrency (1989)

Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency

School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)

Linear Time, Branching Time, and Partial Orde ...
W. P. De Roever, J. W. De Bakk ...
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by LC Bot
December 28, 2011 | History
Edit
An edition of Linear time, branching time, and partial order in logics and models for concurrency (1989)

Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency

School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)

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

Publish Date
Publisher
Springer
Language
English
Pages
713

Check nearby libraries

Buy this book

Subjects

Parallel processing (Electronic computers) Distributed processing Electronic data processing
Edition Availability
Cover of: Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, the Netherlands May 30-June 3, (Lecture Notes in Computer Science)
July 1989, Springer
in English

Add another edition?

Book Details

Edition Identifiers

Open Library
OL7446154M
ISBN 10
038751080X
ISBN 13
9780387510804
Goodreads
1864758

Work Identifiers

Work ID
OL16355250W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation