SOS specifications for uniformly continuous operators

作者：

Highlights：

• We give SOS-formats for uniform continuity notions of probabilistic calculi operators.

• Uniform continuity properties of the main process calculi operators are derived.

• Upper bounds on the distance between language expressions are derived.

• Formats cannot be relaxed: Operators out of formats violate the continuity properties.

摘要

•We give SOS-formats for uniform continuity notions of probabilistic calculi operators.•Uniform continuity properties of the main process calculi operators are derived.•Upper bounds on the distance between language expressions are derived.•Formats cannot be relaxed: Operators out of formats violate the continuity properties.

论文关键词：Probabilistic process algebras,Structural operational semantics,Uniform continuity,SOS specification formats,Compositional reasoning

论文评审过程：Received 3 October 2016, Revised 22 May 2017, Accepted 26 September 2017, Available online 9 October 2017, Version of Record 13 November 2017.

论文官网地址：https://doi.org/10.1016/j.jcss.2017.09.011