Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators
نویسندگان
چکیده
Bisimulation metric is a robust behavioural semantics for probabilistic processes. Given any SOS specification of probabilistic processes, we provide a method to compute for each operator of the language its respective metric compositionality property. The compositionality property of an operator is defined as its modulus of continuity which gives the relative increase of the distance between processes when they are combined by that operator. The compositionality property of an operator is computed by recursively counting how many times the combined processes are copied along their evolution. The compositionality properties allow to derive an upper bound on the distance between processes by purely inspecting the operators used to specify those processes.
منابع مشابه
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
We observe that equivalence is not a robust concept in the presence of numerical information such as probabilities in the model. We develop a metric analogue of weak bisimulation in the spirit of our earlier work on metric analogues for strong bisimulation. We give a fixed point characterization of the metric. This makes available coinductive reasoning principles and allows us to prove metric a...
متن کاملSome results on coupled fixed point and fixed point theory in partially ordered probabilistic like (quasi) Menger spaces
In this paper, we define the concept of probabilistic like Menger (probabilistic like quasi Menger) space (briefly, PLM-space (PLqM-space)). We present some coupled fixed point and fixed point results for certain contraction type maps in partially order PLM-spaces (PLqM- spaces).
متن کاملCoupled common fixed point theorems for $varphi$-contractions in probabilistic metric spaces and applications
In this paper, we give some new coupled common fixed point theorems for probabilistic $varphi$-contractions in Menger probabilistic metric spaces. As applications of the main results, we obtain some coupled common fixed point theorems in usual metric spaces and fuzzy metric spaces. The main results of this paper improvethe corresponding results given by some authors. Finally, we give one exa...
متن کاملProperties of Spatial Cox Process Models
Probabilistic properties of Cox processes of relevance for statistical modeling and inference are studied. Particularly, we study the most important classes of Cox processes, including log Gaussian Cox processes, shot noise Cox processes, and permanent Cox processes. We consider moment properties and point process operations such as thinning, displacements, and superpositioning. We also discuss...
متن کاملCommon Fixed Point Theory in Modified Intuitionistic Probabilistic Metric Spaces with Common Property (E.A.)
In this paper, we define the concepts of modified intuitionistic probabilistic metric spaces, the property (E.A.) and the common property (E.A.) in modified intuitionistic probabilistic metric spaces.Then, by the commonproperty (E.A.), we prove some common fixed point theorems in modified intuitionistic Menger probabilistic metric spaces satisfying an implicit relation.
متن کامل