TY  - BOOK
AU  - Moller,Faron
AU  - Birtwistle,Graham M.
TI  - Logics for concurrency: structure versus automata 
SN  - 3540609156
AV  - QA76.9 D5 M645
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Electronic data processing
KW  - Distributed processing
KW  - Parallel processing (Computer science)
ER  -