Skip to content

On Barbed Equivalences in pi-Calculus.

Davide Sangiorgi, David Walker

VenueBCONCUR
Year2001
ProceedingsCONCUR

Browse the full CONCUR paper archive.