Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings > On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings |
Martín Abadi; Luca Alfaro
Springer Berlin Heidelberg
CONCUR 2005 - Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
Authors

Blaise Genest

ARI Id

1674219946001_4187417

Access

Not Available Free

Pages

443-457

DOI

10.1007/11539452_34

Chapter URL

https://rd.springer.com/chapter/10.1007/11539452_34

Table of Contents of Book
Showing 1 to 20 of 44 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Static Analysis Versus Model Checking for Bug Finding
Dawson Engler
1-1
The Benefits of Exposing Calls and Returns
Rajeev Alur
2-3
A Compositional Approach to the Stochastic Dynamics of Gene Networks
Luca Cardelli
4-4
Games Other People Play
Christos H. Papadimitriou
5-5
Type-Directed Concurrency
Deepak Garg; Frank Pfenning
6-20
Multiport Interaction Nets and Concurrency
Damiano Mazza
21-35
Model Checking for π-Calculus Using Proof Search
Alwen Tiu
36-50
A Game Semantics of the Asynchronous π-Calculus
Jim Laird
51-65
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
Franck Cassez; Alexandre David; Emmanuel Fleury; Kim G. Larsen; Didier Lime
66-80
Modal Logics for Timed Control
Patricia Bouyer; Franck Cassez; François Laroussinie
81-94
Timed Shuffle Expressions
Cătălin Dima
95-109
A New Modality for Almost Everywhere Properties in Timed Automata
Houda Bel Mokadem; Béatrice Bérard; Patricia Bouyer; François Laroussinie
110-124
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Pedro R. D’Argenio; Biniam Gebremichael
125-140
A Behavioural Pseudometric for Metric Labelled Transition Systems
Franck van Breugel
141-155
On Probabilistic Program Equivalence and Refinement
Andrzej S. Murawski; Joël Ouaknine
156-170
Probabilistic Anonymity
Mohit Bhargava; Catuscia Palamidessi
171-185
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus
Andrew D. Gordon; Alan Jeffrey
186-201
Timed Spi-Calculus with Types for Secrecy and Authenticity
Christian Haack; Alan Jeffrey
202-216
Selecting Theories and Recursive Protocols
Tomasz Truderung
217-232
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 44 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings