The Weak Late pi-Calculus Semantics as Observation Equivalence.

Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia

Browse the full CONCUR paper archive.