Event Structure Model for Interactive Markov Chains
Xiying Zhao · 2008
In this paper,we discuss the quantitative extensions of event structures for LOTOS with stochastic nature. We give the non-interleaving semantics model for interactive Markov chains algebra(IMCA).It is shown that our stochastic models can be used to provide a compositional causality-based semantics to IMCA, and a event-based operational semantics is provided that is proven to coincide with various exiting interleaving proposals.