DMCA

Complete Inference Systems for Weak Bisimulation Equivalences in the pi-Calculus (1995)

Cached

Download Links

by Huimin Lin
Venue:Journal of Information and Computation
Citations:32 - 4 self