TY  - BOOK
AU  - Agha,Gul
AU  - Danvy,Olivier
AU  - Meseguer,José
TI  - Formal modeling: actors, open systems, biological systems ; essays dedicated to CarolynTalcott on the occasion of her 70th birthday 
T2  - Lecture notes in computer science
SN  - 9783642249327
PY  - 2011///
CY  - Berlin, Germany
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Computer software
KW  - Verification
N1  - Includes bibliographical references and index
ER  -