Formal Modeling: Actors; Open Systems, Biological Systems

1. Front Matter

   PDF

2. Essays on Carolyn Talcott

   1. Two PhD Students for the Price of One

      • Solomon Feferman

      Pages 1-3

   2. Honoring Carolyn Talcott’s Contributions to Science

      • Sylvan Pinsky

      Pages 4-19

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. Fast Sort Computations for Order-Sorted Matching and Unification

      • Steven Eker

      Pages 299-314

   3. Solving the First Verified Software Competition Problems Using PVS

      • Sam Owre, Natarajan Shankar

      Pages 315-328

   4. Towards a Maude Formal Environment

      • Francisco Durán, Camilo Rocha, José María Álvarez

      Pages 329-351

   5. Multisimulations: Towards Next Generation Integrated Simulation Environments

      • Leila Jalali, Sharad Mehrotra, Nalini Venkatasubramanian

      Pages 352-367

   6. Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude

      • Peter Csaba Ölveczky

      Pages 368-402

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

• 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

Policies and ethics