期刊
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
卷 92, 期 -, 页码 113-151出版社
ACADEMIC PRESS INC ELSEVIER SCIENCE
DOI: 10.1016/j.jcss.2017.09.011
关键词
Probabilistic process algebras; Structural operational semantics; Uniform continuity; SOS specification formats; Compositional reasoning
Behavioral metric semantics provide formal notions to compare probabilistic systems, giving a notion of behavioral distance characterizing how far the behavior of two systems is apart. Compositional reasoning over probabilistic systems with respect to behavioral metric semantics requires the language operators to be uniformly continuous, which ensures that a limited change in the behavior of a subsystem implies a smooth and limited change in the behavior of the whole system. We consider a hierarchy of uniform continuity properties for process algebra operators and, for each of these properties, we propose a Structural Operational Semantics specification format (namely a set of syntactical constraints on the form of the SOS rules) ensuring that the property is satisfied by construction by all operators captured by the format. (C) 2017 Elsevier Inc. All rights reserved.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据