Process calculus based upon evaluation to committed form (1996)

Cached

Download Links

by Andrew M. Pitts , Joshua R. X. Ross
Venue:CONCUR'96: Concurrency Theory, Proc. 7th Int. Conf
Citations:9 - 1 self