Normal Forms for Synchronous and Asynchronous Process Calculi
Tony Hoare‚ Cedric Fournet and Silvano dal Zilio
Month
mar
Note
Various drafts of a discussion paper
Year
2000
Tony Hoare‚ Cedric Fournet and Silvano dal Zilio