Algèbre de processus et synchronisations (1984)

by D Austry, G Boudol
Venue:Theoretical Comput. Sci