Cover Image

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

Bibliographic Details
Corporate Author: School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, [1989]
Series:Lecture notes in computer science ; 354.
Subjects:
Parallel processing (Electronic computers)
Electronic data processing > Distributed processing.
Bakker, J. W. de > (Jacobus Willem), > 1939-
Roever, W.-P. de, > 1943-
Rozenberg, Grzegorz.

Similar Items