Title :
Event Structure Model for Interactive Markov Chains
Author_Institution :
Software Eng. Dept., Lanzhou Polytech. Coll., Lanzhou
Abstract :
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.
Keywords :
Markov processes; process algebra; LOTOS; compositional causality-based semantics; event structure model; event-based operational semantics; interactive Markov chains algebra; noninterleaving semantics model; Interactive Markovn chains; bundle event structure; event trace; operational semantics;
Conference_Titel :
Information Science and Engineering, 2008. ISISE '08. International Symposium on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-2727-4
DOI :
10.1109/ISISE.2008.15
