Is it a "Good" Encoding of Mixed Choice? (Technical Report)
Kirstin Peters, Uwe Nestmann
TL;DR
This technical report provides detailed proofs and additional material for an encoding of mixed choice in the pi-calculus, along with a criterion for preserving distribution in process networks.
Contribution
It offers formal proofs and supplementary insights for an encoding of mixed choice and a new criterion for distribution preservation in process networks.
Findings
Formal proofs of the encoding and theorems from [PN12]
A criterion to measure preservation of distribution in process networks
Additional material supporting the original encoding
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification · Petri Nets in System Modeling · semigroups and automata theory