Travelled to:1 × Estonia
1 × Italy
Collaborated with:K.Peters U.Goltz
Talks about:distribut (1) process (1) calculi (1) encod (1) choic (1) good (1) mix (1)
Person: Uwe Nestmann
DBLP: Nestmann:Uwe
Contributed to:
2013
2012Wrote 2 papers:
- ESOP-2013-PetersNG #calculus #on the #process
- On Distributability in Process Calculi (KP, UN, UG), pp. 310–329.
- FoSSaCS-2012-PetersN #encoding #question
- Is It a “Good” Encoding of Mixed Choice? (KP, UN), pp. 210–224.