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.
CITATION STYLE
Kuntz, M., & Siegle, M. (2002). Deriving symbolic representations from stochastic process algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2399, pp. 207–208). Springer Verlag. https://doi.org/10.1007/3-540-45605-8_12
Mendeley helps you to discover research relevant for your work.