Skip to main content
  • Book
  • © 2011

Formal Modeling: Actors; Open Systems, Biological Systems

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

  • commemorative publication

  • up-to-date-results in formal modeling

  • state-of-the-art-research

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 chapters)

  1. Front Matter

  2. Essays on Carolyn Talcott

    1. Two PhD Students for the Price of One

      • Solomon Feferman
      Pages 1-3
  3. Actors and Programming Languages

    1. Ten Years of Analyzing Actors: Rebeca Experience

      • Marjan Sirjani, Mohammad Mahdi Jaghoori
      Pages 20-56
    2. Mathematical Models of Object-Based Distributed Systems

      • Carlos Henrique C. Duarte
      Pages 57-73
    3. From Explicit to Symbolic Types for Communication Protocols in CCS

      • Hanne Riis Nielson, Flemming Nielson, Jörg Kreiker, Henrik Pilegaard
      Pages 74-89
    4. Abstract LR-Parsing

      • Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
      Pages 90-109
  4. Cyberphysical Systems

    1. Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

      • Mark-Oliver Stehr, Carolyn Talcott, John Rushby, Pat Lincoln, Minyoung Kim, Steven Cheung et al.
      Pages 110-143
    2. Model Feasible Interactions in Distributed Real-Time Systems

      • Shangping Ren, Yue Yu, Miao Song
      Pages 144-168
  5. Middleware and Meta-architectures

    1. Puff, The Magic Protocol

      • Farhad Arbab
      Pages 169-206
    2. A Formal Methodology for Compositional Cross-Layer Optimization

      • Minyoung Kim, Mark-Oliver Stehr, Carolyn Talcott, Nikil Dutt, Nalini Venkatasubramanian
      Pages 207-222
    3. From Service Identification to Service Selection: An Interleaved Perspective

      • Devis Bianchini, Francesco Pagliarecci, Luca Spalazzi
      Pages 223-240
    4. Towards a System Model for Ensembles

      • Matthias Hölzl, Martin Wirsing
      Pages 241-261
    5. Algorithmic Aspects of Risk Management

      • Ashish Gehani, Lee Zaniewski, K. Subramani
      Pages 262-276
  6. Formal Methods and Reasoning Tools

    1. Parameterized Metareasoning in Membership Equational Logic

      • Manuel Clavel, Narciso Martí-Oliet, Miguel Palomino
      Pages 277-298
    2. Solving the First Verified Software Competition Problems Using PVS

      • Sam Owre, Natarajan Shankar
      Pages 315-328
    3. Towards a Maude Formal Environment

      • Francisco Durán, Camilo Rocha, José María Álvarez
      Pages 329-351
    4. Multisimulations: Towards Next Generation Integrated Simulation Environments

      • Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian
      Pages 352-367

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.

Keywords

  • algebraic structures
  • concurrency
  • formal verification
  • software development
  • verification

Editors and Affiliations

  • Thomas M. Siebel Center for Computer Science, University of Illinois, Urbana, USA

    Gul Agha

  • Department of Computer Science, Aarhus University, Aarhus N, Denmark

    Olivier Danvy

  • University of Illinois at Urbana-Champaign, USA

    José Meseguer

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions