2026-07-23T08:46:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5387 2024-03-06T10:36:30Z ddc:004 open_access

SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators Gebler, Daniel Tini, Simone SOS probabilistic process algebra bisimulation metric semantics compositional metric reasoning uniform continuity Compositional reasoning over probabilistic systems wrt. behavioral metric semantics requires the language operators to be uniformly continuous. We study which SOS specifications define uniformly continuous operators wrt. bisimulation metric semantics. We propose an expressive specification format that allows us to specify operators of any given modulus of continuity. Moreover, we provide a method that allows to derive from any given specification the modulus of continuity of its operators. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Daniel Gebler and Simone Tini 2015 Is Part Of LIPIcs, Volume 42, 26th International Conference on Concurrency Theory (CONCUR 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2015.155 urn:nbn:de:0030-drops-53876 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2015.155 eng https://creativecommons.org/licenses/by/3.0/legalcode