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.

Description
Item Description:	"Based on the School/Workshop On Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, organized by the editors"--Pref.
Physical Description:	viii, 713 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references.
ISBN:	038751080X (U.S. : alk. paper)