Extended Markovian process algebra

被引：0
|
作者：
机构：
来源：
Lecture Notes in Computer Science | / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Reversed processes in Markovian process algebra
    Harrison, PG
    MODELLING AND SIMULATION 2001, 2001, : 783 - 790
  • [2] Differential Bisimulation for a Markovian Process Algebra
    Iacobelli, Giulio
    Tribastone, Mirco
    Vandin, Andrea
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2015, PT I, 2015, 9234 : 293 - 306
  • [3] Reduction semantics in Markovian process algebra
    Bravetti, Mario
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 41 - 64
  • [4] Turning back time in Markovian process algebra
    Harrison, PG
    THEORETICAL COMPUTER SCIENCE, 2003, 290 (03) : 1947 - 1986
  • [5] PALOMA: A Process Algebra for Located Markovian Agents
    Feng, Cheng
    Hillston, Jane
    QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 265 - 280
  • [6] A fluid analysis framework for a Markovian process algebra
    Hayden, Richard A.
    Bradley, Jeremy T.
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (22-24) : 2260 - 2297
  • [7] Exact Fluid Lumpability for Markovian Process Algebra
    Tschaikowski, Max
    Tribastone, Mirco
    CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 380 - 394
  • [8] Exact fluid lumpability in Markovian process algebra
    Tschaikowski, Max
    Tribastone, Mirco
    THEORETICAL COMPUTER SCIENCE, 2014, 538 : 140 - 166
  • [9] Generating the syntactic and semantics graphs for a Markovian process algebra
    Pelayo, Fernando L.
    Pelayo, Maria L.
    Guirao, Juan L. G.
    JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS, 2007, 204 (01) : 38 - 47
  • [10] A unified framework for differential aggregations in Markovian process algebra
    Tschaikowski, Max
    Tribastone, Mirco
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2015, 84 (02) : 238 - 258
12345