Modeling Instability in a New Framework of Interval Valued Process Algebra

We present a new setting of interval valued CCS (ICCS^is, for short) to model the probabilistic phenomenon and instability in concurrency and interactive systems. This model is an extension of probabilistic CCS, which is deriving from Milner´s standard CCS. In this model, an interval value x = [n, p] (n les p) is assigned to each components of a summation, where n can be viewed as the necessity with which one action is performed, and p the possibility degree. Then u = 1 - n/p stands for the instability of the system with respect to a certain action. We introduce the syntax and operational semantics of ICCS^is, and give the notion of strong bisimulation and v-strong bisimulation over ICCS^is. Some important properties of these two bisimulations are investigated.