Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
42
views
0
references
Top references
cited by
7
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,706
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
CONCUR 2005 – Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
other
Editor(s):
Martín Abadi
,
Luca de Alfaro
Publication date
(Print):
2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Politics of the Low Countries
Author and book information
Book
ISBN (Print):
978-3-540-28309-6
ISBN (Electronic):
978-3-540-31934-4
Publication date (Print):
2005
DOI:
10.1007/11539452
SO-VID:
51d7ca2b-7068-49a0-8438-c721460ca81d
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Static Analysis Versus Model Checking for Bug Finding
pp. 2
The Benefits of Exposing Calls and Returns
pp. 4
A Compositional Approach to the Stochastic Dynamics of Gene Networks
pp. 5
Games Other People Play
pp. 6
Type-Directed Concurrency
pp. 21
Multiport Interaction Nets and Concurrency
pp. 36
Model Checking for π-Calculus Using Proof Search
pp. 51
A Game Semantics of the Asynchronous π-Calculus
pp. 66
Efficient On-the-Fly Algorithms for the Analysis of Timed Games
pp. 81
Modal Logics for Timed Control
pp. 95
Timed Shuffle Expressions
pp. 110
A New Modality for Almost Everywhere Properties in Timed Automata
pp. 125
The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
pp. 141
A Behavioural Pseudometric for Metric Labelled Transition Systems
pp. 156
On Probabilistic Program Equivalence and Refinement
pp. 171
Probabilistic Anonymity
pp. 186
Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus
pp. 202
Timed Spi-Calculus with Types for Secrecy and Authenticity
pp. 217
Selecting Theories and Recursive Protocols
pp. 233
Constraint Solving for Contract-Signing Protocols
pp. 248
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra
pp. 263
Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP
pp. 278
Bisimulations Up-to for the Linear Time Branching Time Spectrum
pp. 293
Deriving Weak Bisimulation Congruences from Reduction Systems
pp. 308
SOS for Higher Order Processes
pp. 323
The Individual and Collective Token Interpretations of Petri Nets
pp. 338
Merged Processes — A New Condensed Representation of Petri Net Behaviour
pp. 353
Concurrent Clustered Programming
pp. 368
A Theory of System Behaviour in the Presence of Node and Link Failures
pp. 383
Comparing Two Approaches to Compensable Flow Composition
pp. 398
Transactions in RCCS
pp. 413
Two-Player Nonzero-Sum ω-Regular Games
pp. 428
Games Where You Can Play Optimally Without Any Memory
pp. 443
On Implementation of Global Concurrent Systems with Local Asynchronous Controllers
pp. 458
Defining Fairness
pp. 473
Regular Symbolic Analysis of Dynamic Networks of Pushdown Systems
pp. 488
Termination Analysis of Integer Linear Loops
pp. 503
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
pp. 518
Verification of Qualitative ℤ Constraints
pp. 533
Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces
pp. 548
Taming Interface Specifications
pp. 562
Synthesis of Distributed Systems from Knowledge-Based Specifications
Similar content
4,706
Proc. CONCUR
Authors:
F. Bonchi
,
M.M. Bonsangue
,
J Rutten
…
CONCUR’ 97
Authors:
A. Bouajjani
Proceedings of CONCUR '96, volume 1119 of Lecture Notes in Computer Science
Authors:
See all similar
Cited by
7
Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres
Authors:
Maike Schwammberger
Developing a Practical Reactive Synthesis Tool: Experience and Lessons Learned
Authors:
Leonid Ryzhyk
,
Adam Walker
A Parametric Framework for Reversible \(\pi\)-Calculi
Authors:
Iain Phillips
,
Nobuko Yoshida
,
Claudio Mezzina
…
See all cited by