Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988

Shelfclass_id	3.F.4
Sortkey	DE BAKKER, J. W.
Authors	J. W. de Bakker, W.-P. de Roever, Grzegorz Rozenberg
Title	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988
Publisher	Springer Pub. Co.
Year	c1989
Languages	eng
Isbn	038751080X
Series	Lecture Notes in Computer Science
Volume	354
Issn	0302-9743
Description	(U.S.: alk. paper) viii, 713 p. ill. 25 cm.
Record date	20061020
Location	New York
Keywords	Parallel processing (Electronic computers), Electronic data processing
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.