TY  - BOOK
AU  - Fokkink,Wan
TI  - Introduction to process algebra
T2  - Texts in theoretical computer science 
SN  - 9783642085840
PY  - 2010///
CY  - Berlin : 
PB  - Springer, 
KW  - Programación concurrente
KW  - Verificación de programas
KW  - Lenguajes de programación
KW  - Concurrent programming
KW  - Program verification
KW  - Programming languages
KW  - Semantic of programming languages
N1  - With 11 figures and 11 tables; Incluye referencias bibliogáficas e índice
ER  -