A Proof-Theoretic Approach to Semantics of Concurrency

A Proof-Theoretic Approach to Semantics of Concurrency
Vijay Gehlot
Doctoral Thesis, University of Pennsylvania, 1992.

Last updated on Monday, July 25, 2011, 4:37 pm