A hierarchy of equivalences for asynchronous calculi (2005)

by C Fournet, G Gonthier
Venue:Journal of Logic Algebra Programming