Skip to content

A Theory of Bisimulation for the pi-Calculus.

Davide Sangiorgi

VenueBCONCUR
Year1993
ProceedingsCONCUR

Browse the full CONCUR paper archive.