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, 1988

by , , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Linear time, branching time, and partial order in logics and models for concurrency by J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Not in Library

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by raybb
October 8, 2021 | 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, 1988

by , , , and

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
713

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Parallel processing (Electronic computers), Distributed processing, Electronic data processing, REX, Programmation, Parallélisme, Concurrence, Logique temporelle, Modélisation, Parallélisme (Informatique), Programmation parrallèle (Informatique), Ordinateurs, Processus branchement, Traitement réparti, Nebenläufigkeit

Showing 2 featured editions. View all 2 editions?

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, 1988 (Lecture Notes in Computer Science)
May 1, 1989, Springer
Paperback in English - 1 edition
Libraries near you: WorldCat
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, 1988
1989, Springer-Verlag
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Berlin, New York

Edition Notes

Includes bibliographical references.
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.

Series
Lecture notes in computer science ;, 354

Classifications

Dewey Decimal Class
004/.35
Library of Congress
QA76.5 .L523 1989

The Physical Object

Pagination
viii, 713 p. :
Number of pages
713

ID Numbers

Open Library
OL2188038M
Internet Archive
lineartimebranch1988bakk
ISBN 10
038751080X
LCCN
89006216
Goodreads
1864758

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 / OPDS | Wikipedia citation
October 8, 2021 Edited by raybb Merge works
August 17, 2021 Edited by MARC Bot import existing book
February 12, 2021 Edited by ImportBot import existing book
November 9, 2020 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record.