Skip to content

Checking Bisimilarity for Finitary pi-Calculus.

Ugo Montanari, Marco Pistore

VenueBCONCUR
Year1995
ProceedingsCONCUR

Browse the full CONCUR paper archive.