Algèbre de processus et synchronisations (1984)

by D AUSTRY, G BOUDOL
Venue:Theoretical Comput. Sci