A Theory of Bisimulation for the pi-calculus (1993)

Cached

Download Links

by Davide Sangiorgi
Citations:39 - 0 self