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

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

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Awdur Corfforaethol: School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency
Awduron Eraill: Rozenberg, Grzegorz, Bakker, J. W. de (Jacobus Willem de), 1939-, Roever, W.-P. de, 1943-
Fformat: Trafodyn Cynhadledd Llyfr
Iaith:English
Cyhoeddwyd: Berlin ; New York : Springer-Verlag, c1989.
Cyfres:Lecture notes in computer science ; 354.
Pynciau:
Parallel processing (Electronic computers)
Electronic data processing > Distributed processing.

CARM 1 Store

Manylion daliadau o CARM 1 Store
Rhif Galw: A2:AL20E0 C05353
Copi 1 Ar gael  Gwneud Cais

Eitemau Tebyg