Formal Modeling: Actors; Open Systems, Biological Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Formal Modeling: Actors; Open Systems, Biological Systems PDF full book. Access full book title Formal Modeling: Actors; Open Systems, Biological Systems by Gul Agha. Download full books in PDF and EPUB format.

Formal Modeling: Actors; Open Systems, Biological Systems

Formal Modeling: Actors; Open Systems, Biological Systems PDF Author: Gul Agha
Publisher: Springer Science & Business Media
ISBN: 3642249329
Category : Computers
Languages : en
Pages : 465

Get Book Here

Book Description
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.