Event Structure of Interactive Markov Chains Algebra
Zhao Xi-ying · Journal of Lanzhou Jiaotong University · 2008
In this paper,the quantitative extensions of event structures for LOTOS with stochastic nature are analysed,and the non-interleaving semantics model of interactive Markov chains algebra (IMCA) is presented.It is shown that our stochastic models can be used to provide a compositional causality-based semantics for IMCA,and a event-based operational semantics is supplied to prove its conincidence with various exiting interleaving proposals.