Algebre de processus et synchronisation (1984)

by D Austry, G Boudol
Venue:Theoretical Computer Science