文章基本信息

标题：SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators
本地全文：下载
作者：Daniel Gebler ; Simone Tini
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2015
卷号：42
页码：155-168
DOI：10.4230/LIPIcs.CONCUR.2015.155
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：SOS; probabilistic process algebra; bisimulation metric semantics; compositional metric reasoning; uniform continuity