Search

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