Deriving Symbolic Representations from Stochastic Process Algebras

Deriving Symbolic Representations from Stochastic Process Algebras
复制标题

从随机过程代数导出符号表示

DOI：
--
复制
发表时间：
2002
期刊：
Process Algebra and Probabilistic Methods, Performance Modeling and Verification
影响因子：
--
通讯作者：
Markus Siegle
Markus Siegle
中科院分区：
--
文献类型：
--
作者：
M. Kuntz;Markus Siegle

文献摘要

被引文献

相似文献

提出了一种新的随机过程代数TIPP变体的指称语义，它将过程项映射到多端二元决策图。它表明，新的语义是马尔可夫互模拟等价于标准SOS语义。本文还解决了困难的问题，保持基本的状态空间最小的每一个建设步骤。
A new denotational semantics for a variant of the stochastic process algebra TIPP is presented, which maps process terms to Multiterminal binary decision diagrams. It is shown that the new semantics is Markovian bisimulation equivalent to the standard SOS semantics. The paper also addresses the difficult question of keeping the underlying state space minimal at every construction step.