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
35
views
17
references
Top references
cited by
8
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,045
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
A Behavioural Pseudometric for Metric Labelled Transition Systems
other
Author(s):
Franck van Breugel
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
Socioecological systems
Most cited references
17
Record
: found
Abstract
: not found
Article
: not found
Algebraic laws for nondeterminism and concurrency
Matthew Hennessy
,
Robin Milner
(1985)
0
comments
Cited
132
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Concurrency and automata on infinite sequences
David Park
(1981)
0
comments
Cited
119
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Metrics for labelled Markov processes
Josée Desharnais
,
Vineet Gupta
,
Radha Jagadeesan
…
(2004)
0
comments
Cited
74
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2005
Pages
: 141-155
DOI:
10.1007/11539452_14
SO-VID:
1497350f-340d-4c66-b245-b3320d68f3d3
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
2,045
Event-Related Potential Evidence of Implicit Metric Structure during Silent Reading
Authors:
Mara Breen
,
Ahren B. Fitzroy
,
Michelle Oraa Ali
Analysing researchers’ outreach efforts and the association with publication metrics: A case study of Kudos
Authors:
Mojisola Erdt
,
Htet Htet Aung
,
Ashley Sara Aw
…
Performance metrics for climate models
Authors:
P Gleckler
,
K Taylor
,
C Doutriaux
See all similar
Cited by
8
Process Equivalence: Comparing Two Process Models Based on Observed Behavior
Authors:
W. VAN DER AALST
,
A. de Medeiros
,
A. J. M. M. Weijters
Linear and Branching System Metrics
Authors:
L. de Alfaro
,
M. Faella
,
M. Stoelinga
A Behavioural Pseudometric for Metric Labelled Transition Systems
Authors:
Franck van Breugel
See all cited by