Formal modeling :  actors, open systems, biological systems ; essays dedicated to CarolynTalcott on the occasion of her 70th birthday / 
Gul Agha, Olivier Danvy, José Meseguer (Eds.) 
 - Berlin, Germany :  Springer,  c2011 
 - xx, 445 p. :  ill. ;  23 cm. 
 - Lecture notes in computer science ;  7000 .
 - Lecture notes in computer science .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9783642249327 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)<br/>Computer software--Verification