TY  - BOOK
AU  - Stirling,Colin P
TI  - Modal and temporal properties of processes
T2  - Texts in computer science
SN  - 0387987177 (papel alcalino)
AV  - QA76.9L63 S75
PY  - 2001///
CY  - New York
PB  - Springer Verlag
KW  - Lógica computacional
KW  - Procesamiento paralelo (Computadoras electrónicas)
ER  -