On Bisimulation in the pi-calculus

Sorry, there's nothing here.

Cite this paper

@inproceedings{Walker1994OnBI, title={On Bisimulation in the pi-calculus}, author={David Walker}, booktitle={CONCUR}, year={1994} }