Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
From MaRDI portal
Publication:2892789
DOI10.1007/978-3-642-28729-9_30zbMath1352.68180OpenAlexW81345837MaRDI QIDQ2892789
Matias David Lee, Pedro R. D'Argenio
Publication date: 22 June 2012
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28729-9_30
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items
A general SOS theory for the specification of probabilistic transition systems ⋮ SOS specifications for uniformly continuous operators ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item ⋮ Compositional bisimulation metric reasoning with Probabilistic Process Calculi ⋮ Probabilistic divide \& congruence: branching bisimilarity ⋮ Unnamed Item