177 records matched your query       

Title:

Linear time, branching time, and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / J.W. de Bakker, W.-P de Roever, G. Rozenberg (eds.).

Publisher:

Springer-Verlag,

Copyright Date:

c1989

Description:

viii, 713 p. : ill. ; 25 cm.

Subject:

Electronic data processing--Congresses.--Congresses.
Parallel processing (Electronic computers)--Congresses.

Other Authors:

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)

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.

Series:

Lecture notes in computer science ; 354

ISBN:

9780387510804
038751080X

LCCN:

89006216

Locations:

USUX851 -- Iowa State University - Parks Library (Ames)

OVUX522 -- University of Iowa Libraries (Iowa City)