Cover is for reference only

Linear time, branching time, and partial order in logics and models for concurrency：School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Saved in:
Bibliographic Details
Corporate Authors: School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 Noordwijkerhout, Netherlands)
Published: Springer-Verlag,
Publisher Address: Berlin
Publication Dates: c1989.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 354
Subjects:
Bakker > J. W. de > 1939-
Roever > W.-P. de.
Rozenberg > Grzegorz.
Parallel processing (Electronic computers)
Electronic data processing > Distributed processing.
Carrier Form: viii, 713 p.: ill. ; 25 cm.
ISBN: 354051080X
Index Number: TP301
CLC: TP301-53
Contents: Includes bibliographical references.

Related Book Recommendations