Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /

Saved in:

Bibliographic Details
Imprint:	Berlin ; Heidelberg : Springer, ©2011.
Description:	1 online resource (xx, 445 pages) : color portraits.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 7000 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 7000. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) Computer software -- Verification. Computer software -- Verification. Formal methods (Computer science)
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11076254

Hidden Bibliographic Details
Other authors / contributors:	Agha, Gul A. Danvy, Olivier. Meseguer, José.
ISBN:	9783642249334 3642249337 9783642249327 3642249329 9783642249327
Notes:	Includes bibliographical references and author index.
Summary:	Annotation This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.
Other form:	Printed edition: 9783642249327
Standard no.:	10.1007/978-3-642-24933-4

Similar Items