1. THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS Open Access Author: Herescu, Oltea Mihaela Title: THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS Graduate Program: Computer Science and Engineering Keywords: pi-calculustheory of concurrency File: Download thesis.pdf Committee Members: John Joseph Hannan, Committee MemberStephen George Simpson, Committee MemberRaj Acharya, Committee MemberMahmut Taylan Kandemir, Committee MemberCatuscia Palamidessi, Committee Chair/Co-Chair