eTD Explore

Start Over Graduate Program Computer Science and Engineering Committee Member Raj Acharya Committee Member Mahmut Taylan Kandemir Keyword pi-calculus

1. THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS

open_access

Open Access

Author:: Herescu, Oltea Mihaela
Title:: THE PROBABILISTIC ASYNCHRONOUS PI-CALCULUS
Graduate Program:: Computer Science and Engineering
Keywords:: pi-calculus
theory of concurrency
File:: Download thesis.pdf
Committee Members:: John Joseph Hannan, Committee Member
Stephen George Simpson, Committee Member
Raj Acharya, Committee Member
Mahmut Taylan Kandemir, Committee Member
Catuscia Palamidessi, Committee Chair/Co-Chair