A Hierarchy of Equivalences for Asynchronous Calculi.

Cdric Fournet, Georges Gonthier

Browse the full ICALP paper archive.