Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
37
views
10
references
Top references
cited by
23
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
525
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings
Transactions in RCCS
other
Author(s):
Vincent Danos
,
Jean Krivine
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
ScienceOpen Research
Most cited references
10
Record
: found
Abstract
: not found
Article
: not found
Thermodynamical approach to the traveling salesman problem: An efficient simulation algorithm
V Cerny
(1985)
0
comments
Cited
371
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Reversible Communicating Systems
Vincent Danos
,
Jean Krivine
(2004)
0
comments
Cited
47
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Permutation of transitions: An event structure semantics for CCS and SCCS
Gérard Boudol
,
Ilaria Castellani
(1989)
0
comments
Cited
16
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 398-412
DOI:
10.1007/11539452_31
SO-VID:
5964b465-6f0c-415b-aad6-8cd78f660f3f
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
525
RCCS 3D Cell Culture Systems
Authors:
RCCS enhances EOE cell proliferation and their differentiation into ameloblasts.
Authors:
Ping Li
,
Ye Zhang
,
Yan Wang
…
Reactive carbonyl compounds (RCCs) cause aggregation and dysfunction of fibrinogen.
Authors:
Ya-Jie Xu
,
Min Qiang
,
Jin-Ling Zhang
…
See all similar
Cited by
22
Controlling Reversibility in Higher-Order Pi
Authors:
Ivan Lanese
,
Claudio Mezzina
,
Alan Schmitt
…
Reversing Higher-Order Pi
Authors:
Ivan Lanese
,
Claudio Mezzina
,
Jean-Bernard Stefani
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Authors:
Iain Phillips
,
Irek Ulidowski
,
Shoji Yuen
See all cited by