Related references
Note: Only part of the references are listed.The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
Valentina Castiglioni et al.
THEORETICAL COMPUTER SCIENCE (2020)
Probabilistic divide & congruence: Branching bisimilarity
Valentina Castiglioni et al.
THEORETICAL COMPUTER SCIENCE (2020)
SOS specifications for uniformly continuous operators
Daniel Gebler et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2018)
A refined mean field approximation of synchronous discrete-time population models
Nicolas Gast et al.
PERFORMANCE EVALUATION (2018)
Spatial fluid limits for stochastic mobile networks
Max Tschaikowski et al.
PERFORMANCE EVALUATION (2017)
A general SOS theory for the specification of probabilistic transition systems
Pedro R. D'Argenio et al.
INFORMATION AND COMPUTATION (2016)
Structural operational semantics for non-deterministic processes with quantitative aspects
Marino Miculan et al.
THEORETICAL COMPUTER SCIENCE (2016)
Structural operational semantics for continuous state stochastic transition systems
Giorgio Bacci et al.
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2015)
The quantitative linear-time-branching-time spectrum
Uli Fahrenberg et al.
THEORETICAL COMPUTER SCIENCE (2014)
Relating strong behavioral equivalences for processes with nondeterminism and probabilities
Marco Bernardo et al.
THEORETICAL COMPUTER SCIENCE (2014)
Structural operational semantics for stochastic and weighted transition systems
Bartek Klin et al.
INFORMATION AND COMPUTATION (2013)
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
Marco Bernardo et al.
INFORMATION AND COMPUTATION (2013)
Exploring probabilistic bisimulations, part I
Matthew Hennessy
FORMAL ASPECTS OF COMPUTING (2012)
Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity
Wan Fokkink et al.
INFORMATION AND COMPUTATION (2012)
Approximating Markovian testing equivalence
Alessandro Aldini
THEORETICAL COMPUTER SCIENCE (2012)
Branching bisimulation congruence for probabilistic systems
Suzana Andova et al.
THEORETICAL COMPUTER SCIENCE (2012)
Non-expansive ε-bisimulations for probabilistic processes
Simone Tini
THEORETICAL COMPUTER SCIENCE (2010)
Probabilistic Bisimulation as a Congruence
Ruggero Lanotte et al.
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC (2009)
Linear and Branching System Metrics
Luca de Alfaro et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2009)
Bio-PEPA: A framework for the modelling and analysis of biological systems
Federica Ciocchetta et al.
THEORETICAL COMPUTER SCIENCE (2009)
CHARACTERISING TESTING PREORDERS FOR FINITE PROBABILISTIC PROCESSES
Yuxin Deng et al.
LOGICAL METHODS IN COMPUTER SCIENCE (2008)
Estimating the maximum information leakage
Alessandro Aldini et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
SOS formats and meta-theory: 20 years after
MohammadReza Mousavi et al.
THEORETICAL COMPUTER SCIENCE (2007)
Observing branching structure through probabilistic contexts
Nancy Lynch et al.
SIAM JOURNAL ON COMPUTING (2007)
A behavioural pseudometric for probabilistic transition systems
F van Breugel et al.
THEORETICAL COMPUTER SCIENCE (2005)
Metrics for labelled Markov processes
J Desharnais et al.
THEORETICAL COMPUTER SCIENCE (2004)
Model-checking algorithms for continuous-time Markov chains
C Baier et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2003)
Discrete time generative-reactive probabilistic processes with different advancing speeds
M Bravetti et al.
THEORETICAL COMPUTER SCIENCE (2003)
Metric semantics for true concurrent real time
JP Katoen et al.
THEORETICAL COMPUTER SCIENCE (2001)
Rooted branching bisimulation as a congruence
W Fokkink
JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2000)