Coverart for item
The Resource Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday, Gul Agha, Olivier Danvy, José Meseguer. (eds.)

Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday, Gul Agha, Olivier Danvy, José Meseguer. (eds.)

Label
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Title
Formal modeling
Title remainder
actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday
Statement of responsibility
Gul Agha, Olivier Danvy, José Meseguer. (eds.)
Contributor
Subject
Language
eng
Summary
Annotation 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
Member of
Is part of
Cataloging source
GW5XE
Dewey number
004.01/51
Illustrations
portraits
Index
index present
LC call number
QA76.9.F67
LC item number
F67 2011
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Agha, Gul A
  • Danvy, Olivier
  • Meseguer, José
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
7000
http://library.link/vocab/subjectName
  • Formal methods (Computer science)
  • Computer software
  • Informatique
  • Computer software
  • Formal methods (Computer science)
Label
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday, Gul Agha, Olivier Danvy, José Meseguer. (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
760088092
Dimensions
unknown
Extent
1 online resource (xx, 445 pages)
File format
unknown
Form of item
online
Isbn
9783642249327
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24933-4
Other physical details
color portraits.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)760088092
Label
Formal modeling : actors, open systems, biological systems ; essays dedicated to Carolyn Talcott on the occasion of her 70th birthday, Gul Agha, Olivier Danvy, José Meseguer. (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
760088092
Dimensions
unknown
Extent
1 online resource (xx, 445 pages)
File format
unknown
Form of item
online
Isbn
9783642249327
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-24933-4
Other physical details
color portraits.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)760088092

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...