Is it a "Good" Encoding of Mixed Choice? (Technical Report)
Logic in Computer Science
2012-01-09 v1
Abstract
This technical report contains the proofs to the lemmata and theorems of [PN12] as well as some additional material. As main contributions [PN12] presents an encoding of mixed choice in the context of the pi-calculus and a criterion to measure whether the degree of distribution in process networks is preserved.
Cite
@article{arxiv.1201.1410,
title = {Is it a "Good" Encoding of Mixed Choice? (Technical Report)},
author = {Kirstin Peters and Uwe Nestmann},
journal= {arXiv preprint arXiv:1201.1410},
year = {2012}
}