Programming and Software Engineering

Formal Modeling: Actors; Open Systems, Biological Systems

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

Editors: Agha, Gul, Danvy, Olivier, Meseguer, José (Eds.)

  • commemorative publication
  • up-to-date-results in formal modeling
  • state-of-the-art-research
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-24933-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-24932-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (21 chapters)

  • Two PhD Students for the Price of One

    Feferman, Solomon

    Pages 1-3

  • Honoring Carolyn Talcott’s Contributions to Science

    Pinsky, Sylvan

    Pages 4-19

  • Ten Years of Analyzing Actors: Rebeca Experience

    Sirjani, Marjan (et al.)

    Pages 20-56

  • Mathematical Models of Object-Based Distributed Systems

    Duarte, Carlos Henrique C.

    Pages 57-73

  • From Explicit to Symbolic Types for Communication Protocols in CCS

    Nielson, Hanne Riis (et al.)

    Pages 74-89

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-24933-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-642-24932-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Modeling: Actors; Open Systems, Biological Systems
Book Subtitle
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Editors
  • Gul Agha
  • Olivier Danvy
  • José Meseguer
Series Title
Programming and Software Engineering
Series Volume
7000
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag GmbH Berlin Heidelberg
eBook ISBN
978-3-642-24933-4
DOI
10.1007/978-3-642-24933-4
Softcover ISBN
978-3-642-24932-7
Edition Number
1
Number of Pages
XX, 447
Topics