Skip to main content
SpringerLink
Log in

Formal Modeling: Actors; Open Systems, Biological Systems

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

  • Book
  • © 2011

Overview

Editors:
  1. Gul Agha

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Olivier Danvy

    1. Department of Computer Science, Aarhus University, Aarhus N, Denmark

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. José Meseguer

    1. University of Illinois at Urbana-Champaign, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 chapters)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

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.

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

Publish with us

Policies and ethics

Back to top

Search

Navigation