Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

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


Book Informaton

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

Author

Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)

Series

Lecture Notes in Computer Science 7000

Year of Publication

2011

Publisher

Springer-Verlag Berlin Heidelberg

Language

en

ISBN

3642249329, 9783642249327, 9783642249334, 3642249337

ARI Id

1672536664487


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 2 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Citation Options
Download Citation

Showing 1 to 20 of 22 entries
Chapters/HeadingsAuthor(s)PagesInfo
Two PhD Students for the Price of O
Honoring Carolyn Talcott’s Contributions to Scien
Ten Years of Analyzing Actors: Rebeca Experien
Mathematical Models of Object-Based Distributed Syste
From Explicit to Symbolic Types for Communication Protocols in C
Abstract LR-Parsi
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Visi
Model Feasible Interactions in Distributed Real-Time Syste
Puff, The Magic Protoc
A Formal Methodology for Compositional Cross-Layer Optimizati
From Service Identification to Service Selection: An Interleaved Perspecti
Towards a System Model for Ensembl
Algorithmic Aspects of Risk Manageme
Parameterized Metareasoning in Membership Equational Log
Fast Sort Computations for Order-Sorted Matching and Unificati
Solving the First Verified Software Competition Problems Using P
Towards a Maude Formal Environme
Multisimulations: Towards Next Generation Integrated Simulation Environmen
Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Mau
Computational Biology: A Programming Perspecti
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 22 entries