Skip to content

On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.

Roberto M. Amadio

VenueBCONCUR
Year1993
ProceedingsCONCUR

Browse the full CONCUR paper archive.