Formal modeling actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday /
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 a...
| Other Authors: | Agha, Gul A., Danvy, Olivier., Meseguer, José., SpringerLink (Online service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; Heidelberg :
Springer,
©2011.
Berlin ; Heidelberg : [2011] |
| Physical Description: |
1 online resource (xx, 445 pages) : color portraits. |
| Series: |
Lecture notes in computer science ;
7000. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |