Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Huimin Lin. Complete inference systems for weak bisimulation equivalences in the pi-calculus. Inf. Comput., 180(1):1-29, 2003. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Complete Inference Systems for Weak Bisimulation Equivalences in the pi-CalculusHuimin Lin. tapsoft 1995: 187-201 A complete symbolic bisimulation for full applied pi calculusJia Liu, Huimin Lin. TCS, 458:76-112, 2012. [doi] A Complete Symbolic Bisimulation for Full Applied Pi CalculusJia Liu, Huimin Lin. sofsem 2010: 552-563 [doi]
The following publications are possibly variants of this publication: