Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

Research output

Research output per year 2011 2012 2013

• 4 Article in proceeding
• 2 Conference article in Journal
• 1 Book chapter
• 1 Conference abstract for conference
• 2 More
  • 1 Journal article
  • 1 Conference abstract in journal

Research output per year

Research output per year

Search results

• 2012

  Parameterized Metatheory for Continuous Markovian Logic

  Larsen, K. G., Mardare, R. I. & Thrane, C., 2012, In: Electronic Proceedings in Theoretical Computer Science. 103, p. 33-47

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review
• 2011

  Modular Markovian logic

  Cardelli, L., Larsen, K. G. & Mardare, R., 1 Jan 2011, In: Lecture Notes in Computer Science. 6756 LNCS, p. 380-391 12 p.

  Research output: Contribution to journal › Conference article in Journal › Research › peer-review

  • Operators 100%
  • Markov Process 50%
  • Complete 50%
  11 Citations (Scopus)