Computer Science – Logic in Computer Science
Scientific paper
2012-01-06
Computer Science
Logic in Computer Science
Scientific paper
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.
Nestmann Uwe
Peters Kirstin
No associations
LandOfFree
Is it a "Good" Encoding of Mixed Choice? (Technical Report) does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Is it a "Good" Encoding of Mixed Choice? (Technical Report), we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Is it a "Good" Encoding of Mixed Choice? (Technical Report) will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-662752