Algorithmic probabilistic game semantics
We present a detailed account of a translation from probabilistic call-by-value programs with procedures to Rabin's probabilistic automata. The translation is fully abstract in that programs exhibit the same computational behaviour if and only if the corresponding automata are language-equivale...
| Main Authors: | , , , , |
|---|---|
| Format: | Journal article |
| Published: |
2013
|