Title :
Linear time, branching time, and partial order in logics and models for concurrency
Author Statement :
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds
Publication :
Springer-Verlag
Collation :
viii, 713 p.: ill.; 25 cm
Series :
Lecture notes in computer science ; 354
Notes :
"Based on the School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref
Subject :
Parallel processing (Electronic computers),Electronic data processing- Distributed processing
ADDED ENTRIES :
Bakker, J. W. de (Jacobus Willem), 1939-,Roever, W.-P. de,Rozenberg, Grzegorz,School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency (1988 : Noordwijkerhout, Netherlands)
Holding Info. :
038751080
SubTitle :
: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
Biblography :
Includes bibliographical references
