Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics

DOI10.1007/978-3-030-31175-9_17MaRDI QIDQ6489029zbMATH OpenFDO

Authors Valentina Castiglioni, Ruggero Lanotte, Simone Tini

Publication date 14 March 2024

Full work available at URL https://doi.org/10.1007/978-3-030-31175-9_17

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• SOS specifications for uniformly continuous operators
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Fixed-point characterization of compositionality properties of probabilistic processes combinators
• Compositional metric reasoning with probabilistic process calculi
• Sós specifications of probabilistic systems by uniformly continuous operators

This page was built for publication: Fully Syntactic Uniform Continuity Formats for Bisimulation Metrics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6489029)