TY  - BOOK
AU  - Danvy,Olivier
AU  - Meseguer,José
AU  - Agha,Gul
TI  - Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday 
SN  - 9783642249334
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer Communication Networks
KW  - Software engineering
KW  - Logic design
UR  - http://dx.doi.org/10.1007/978-3-642-24933-4
ER  -