Formal Modeling: Actors, Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

  • Gul Agha
  • Olivier Danvy
  • José Meseguer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7000)

Table of contents

  1. Front Matter
  2. Essays on Carolyn Talcott

  3. Actors and Programming Languages

    1. Marjan Sirjani, Mohammad Mahdi Jaghoori
      Pages 20-56
    2. Carlos Henrique C. Duarte
      Pages 57-73
    3. Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
      Pages 74-89
    4. Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
      Pages 90-109
  4. Cyberphysical Systems

    1. Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung et al.
      Pages 110-143
    2. Shangping Ren, Yue Yu, Miao Song
      Pages 144-168
  5. Middleware and Meta-architectures

    1. Farhad Arbab
      Pages 169-206
    2. Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
      Pages 207-222
    3. Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
      Pages 223-240
    4. Matthias Hölzl, Martin Wirsing
      Pages 241-261
    5. Ashish Gehani, Lee Zaniewski, K. Subramani
      Pages 262-276
  6. Formal Methods and Reasoning Tools

    1. Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
      Pages 277-298
    2. Sam Owre, Natarajan Shankar
      Pages 315-328
    3. Francisco Durán, Camilo Rocha, José María Álvarez
      Pages 329-351
    4. Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian
      Pages 352-367
  7. Computational Biology

    1. Lars Hartmann, Neil D. Jones, Jakob Grue Simonsen, Søren Bjerregaard Vrist
      Pages 403-433
    2. Anupama Panikkar, Merrill Knapp, Huaiyu Mi, Dave Anderson, Krishna Kodukula, Amit K. Galande et al.
      Pages 434-445
  8. Back Matter

About this book


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.


algebraic structures concurrency formal verification software development verification

Editors and affiliations

  • Gul Agha
    • 1
  • Olivier Danvy
    • 2
  • José Meseguer
    • 3
  1. 1.Thomas M. Siebel Center for Computer ScienceUniversity of IllinoisUrbanaUSA
  2. 2.Department of Computer ScienceAarhus UniversityAarhus NDenmark
  3. 3.University of Illinois at Urbana-ChampaignUSA

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-24932-7
  • Online ISBN 978-3-642-24933-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment