|
" Linear time, branching time, and partial order in logics and models for concurrency : "
J.W. de Bakker, W.-P de Roever, G. Rozenberg, eds.
Document Type
|
:
|
BL
|
Record Number
|
:
|
604437
|
Doc. No
|
:
|
89,A28,0584b433656
|
Title & Author
|
:
|
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.
|
Publication Statement
|
:
|
Berlin ;New York :: Springer-Verlag,, c1989.
|
Series Statement
|
:
|
Lecture notes in computer science ;; 354
|
Page. NO
|
:
|
viii, 713 p. :: ill. ;; 25 cm.
|
ISBN
|
:
|
038751080X (U.S. : alk. paper)
|
|
:
|
: 9780387510804 (U.S. : alk. paper)
|
|
:
|
: 354051080X
|
|
:
|
: 9783540510802
|
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.
|
Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
Subject
|
:
|
Parallel processing (Electronic computers)
|
Subject
|
:
|
Electronic data processing-- Distributed processing.
|
Dewey Classification
|
:
|
004/.35
|
LC Classification
|
:
|
QA76.5.L523 1989
|
Added Entry
|
:
|
Bakker, J. W. de, (Jacobus Willem),1939-
|
|
:
|
Roever, W.-P. de,1943-
|
|
:
|
Rozenberg, Grzegorz.
|
Added Entry
|
:
|
School/Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency(1988 :, Noordwijkerhout, Netherlands)
|
| |