• DocumentCode
    2117760
  • Title

    Event Structure Model for Interactive Markov Chains

  • Author

    Zhao, Xiying

  • Author_Institution
    Software Eng. Dept., Lanzhou Polytech. Coll., Lanzhou
  • Volume
    2
  • fYear
    2008
  • fDate
    20-22 Dec. 2008
  • Firstpage
    702
  • Lastpage
    706
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Science and Engineering, 2008. ISISE '08. International Symposium on
  • Conference_Location
    Shanghai
  • Print_ISBN
    978-1-4244-2727-4
  • Type

    conf

  • DOI
    10.1109/ISISE.2008.15
  • Filename
    4732488
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2117760