TY  - BOOK
AU  - de Bakker, J.W Ed.
AU  - de Roever, W.P. Ed.
AU  - Rozenberg,G. Ed.
TI  - Linear time, branching time and partial order in logics and models for concurrency
SN  - 354051080X
CY  - Berlin
KW  - Logic
KW  - Concurrency Models
ER  -