Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
type: Item
instance of: scholarly article
title: Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
zbMATH Open document ID: 1334.68156
author: Simone Tini
published in: Theoretical Computer Science
publication date: 2010-05-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 5712823
zbMATH Keywords: \(\varepsilon\)-bisimulation
zbMATH Keywords: behavioral distance
zbMATH Keywords: non-expansiveness
zbMATH Keywords: transition rule formats
zbMATH Keywords: probabilistic processes
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.01.027
OpenAlex ID: W47800957
cites work: Non Expansive ε-Bisimulations
cites work: Q4535031
cites work: Testing preorders for probabilistic processes
cites work: Foundations of Software Science and Computational Structures
cites work: Processes, Terms and Cycles: Steps on the Road to Infinity
cites work: Probabilistic bisimulation as a congruence
cites work: Bisimulation through probabilistic testing
cites work: Foundations of Security Analysis and Design II
cites work: Q4270063
cites work: Metrics for labelled Markov processes
cites work: CONCUR 2003 - Concurrency Theory
cites work: Q4791270
cites work: Q4535035
cites work: A behavioural pseudometric for probabilistic transition systems
cites work: Approximating and computing behavioural distances in probabilistic transition systems
cites work: Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems
cites work: Reactive, generative, and stratified models of probabilistic processes
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: A structural approach to operational semantics
cites work: GSOS for probabilistic transition systems (extended abstract)
cites work: Structural Operational Semantics for Stochastic Process Calculi
cites work: Axiomatizing probabilistic processes: ACP with generative probabilities
cites work: Discrete time generative-reactive probabilistic processes with different advancing speeds
cites work: The meaning of negative premises in transition system specifications
cites work: The meaning of negative premises in transition system specifications. II
cites work: Q4255553
cites work: Approximation Metrics for Discrete and Continuous Systems
cites work: Automata, Languages and Programming
cites work: Rooted branching bisimulation as a congruence
cites work: Structural operational semantics for weak bisimulations
DOI: 10.1016/J.TCS.2010.01.027
description: scientific article; zbMATH DE number 5712823