APICe » Publications » MixedchoiceLncs2012

Is It a “Good” Encoding of Mixed Choice?

Kirstin Peters, Uwe Nestmann
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.
Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science 7213, pages 210-224, .
Lars Birkedal (eds.), Springer Berlin Heidelberg
@incollection{mixedchoice-lncs7213,
	Author = {Peters, Kirstin and Nestmann, Uwe},
	Booktitle = {Foundations of Software Science and Computational Structures},
	Doi = {10.1007/978-3-642-28729-9_14},
	Editor = {Birkedal, Lars},
	Isbn = {978-3-642-28728-2},
	Pages = {210--224},
	Publisher = {Springer Berlin Heidelberg},
	Series = {LNCS},
	Title = {Is It a ``Good'' Encoding of Mixed Choice?},
	Url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
	Volume = 7213,
	Year = 2012}