Process Calculi with Asynchronous Communication (1994)

by M Hansen, J Kleist