Is it a "Good" Encoding of Mixed Choice? (Technical Report)
classification
💻 cs.LO
keywords
choiceencodingmixedpn12reporttechnicaladditionalcontains
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.