Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday cover image

Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

By Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
pdf
Format
2011
Year
English
Language
Springer-Verlag Berlin Heidelberg
Publisher

Summary

<p>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.<br>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.<br>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.</p>

Related books


Others
Freeing the Actor: An Actor's Desk Reference. Over 140 Exercises and Techniques to Free the Actor
Eric Morris
Others
The Actor Within: Intimate Conversations with Great Actors
Rose Eichenbaum, Rose Eichenbaum, Aron Hirt-Manheimer
Others
Actors in Scala
Philipp Haller, Frank Sommers
Others
An Actor's Tricks
Lorna Marshall, Yoshi Oida
Cinema
Actors on Acting
Toby Cole and Helen Krich Chinoy
Others
The Actor Moves
Claudia N. Sullivan