IEEE - Institute of Electrical and Electronics Engineers, Inc. - Event Structure Model for Interactive Markov Chains

2008 International Symposium on Information Science and Engineering (ISISE)

Author(s): Xiying Zhao
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Shanghai, China
Conference Date: 20 December 2008
Volume: 2
Page(s): 702 - 706
ISBN (Paper): 978-1-4244-2727-4
DOI: 10.1109/ISISE.2008.15
Regular:

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... View More

Advertisement