A game semantics of the asynchronous π-calculus (2005)

Cached

Download Links

by J. Laird
Venue:In Proceedings of 16th CONCUR
Citations:6 - 0 self