On Bisimulations for the Asynchronous π-calculus (1996)

by Roberto M. Amadio , Ilaria Castellani , Davide Sangiorgi
Citations:54 - 1 self