Formal Modeling Actors, Open Systems, Biological Systems: Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

Gul A. Agha (Editor), Olivier Danvy (Editor), José Meseguer (Editor)

Research output: Book/ReportAnthology

Abstract

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.
Original languageEnglish (US)
Place of PublicationBerlin
PublisherSpringer
ISBN (Electronic)9783642249334
ISBN (Print)978-3-642-24932-7
DOIs
StatePublished - 2011

Publication series

NameLecture Notes in Computer Science
Volume7000
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

modeling
science
method

Cite this

Formal Modeling Actors, Open Systems, Biological Systems : Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday. / Agha, Gul A. (Editor); Danvy, Olivier (Editor); Meseguer, José (Editor).

Berlin : Springer, 2011. (Lecture Notes in Computer Science; Vol. 7000).

Research output: Book/ReportAnthology

@book{5c7702b5ec144350934f4fede955c469,
title = "Formal Modeling Actors, Open Systems, Biological Systems: Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday",
abstract = "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.",
editor = "Agha, {Gul A.} and Olivier Danvy and Jos{\'e} Meseguer",
year = "2011",
doi = "10.1007/978-3-642-24933-4",
language = "English (US)",
isbn = "978-3-642-24932-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",

}

TY - BOOK

T1 - Formal Modeling Actors, Open Systems, Biological Systems

T2 - Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

A2 - Agha, Gul A.

A2 - Danvy, Olivier

A2 - Meseguer, José

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

UR - http://www.worldcat.org/oclc/760088092

U2 - 10.1007/978-3-642-24933-4

DO - 10.1007/978-3-642-24933-4

M3 - Anthology

SN - 978-3-642-24932-7

T3 - Lecture Notes in Computer Science

BT - Formal Modeling Actors, Open Systems, Biological Systems

PB - Springer

CY - Berlin

ER -