Cover Image
Read Now

Formal Modeling: Actors; Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

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 comput...

Full description

Bibliographic Details
Other Authors: Agha, Gul (Editor), Danvy, Olivier (Editor), Meseguer, José (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2011, 2011
Edition:1st ed. 2011
Series:Programming and Software Engineering
Subjects:
Computer Communication Networks
Compilers (computer Programs)
Computer Science Logic And Foundations Of Programming
Compilers And Interpreters
Software Engineering
Computer Science
Programming Techniques
Computer Programming
Formal Languages And Automata Theory
Computer Networks 
Machine Theory
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Two PhD Students for the Price of One
  • Honoring Carolyn Talcott’s Contributions to Science
  • Ten Years of Analyzing Actors: Rebeca Experience
  • Mathematical Models of Object-Based Distributed Systems
  • From Explicit to Symbolic Types for Communication Protocols in CCS
  • Abstract LR-Parsing
  • Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision
  • Model Feasible Interactions in Distributed Real-Time Systems
  • Puff, The Magic Protocol
  • A Formal Methodology for Compositional Cross-Layer Optimization
  • From Service Identification to Service Selection: An Interleaved Perspective
  • Towards a System Model for Ensembles
  • Algorithmic Aspects of Risk Management
  • Parameterized Metareasoning in Membership Equational Logic
  • Fast Sort Computations for Order-Sorted Matching and Unification
  • Solving the First Verified Software Competition Problems Using PVS
  • Towards a Maude Formal Environment
  • Multisimulations: Towards Next Generation Integrated Simulation Environments
  • Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude
  • Computational Biology: A Programming Perspective
  • Applications of Pathway Logic Modeling to Target Identification

Similar Items