Is It a “Good” Encoding of Mixed Choice?

   page       BibTeX_logo.png   
Kirstin Peters, Uwe Nestmann
Lars Birkedal (eds.)
Foundations of Software Science and Computational Structures, pages 210-224
Lecture Notes in Computer Science 7213
Springer Berlin Heidelberg

Mixed choice is a widely-used primitive in process calculi. It is interesting, as it allows to break symmetries in distributed process networks. We present an encoding of mixed choice in the context of the pi-calculus and investigate to what extent it can be considered “good”. As a crucial novelty, we introduce a suitable criterion to measure whether the degree of distribution in process networks is preserved.