On Bisimulations for the Asynchronous π-calculus (1996)

by Roberto M. Amadio , Ilaria Castellani , Davide Sangiorgi
Citations:32 - 0 self