Normal Forms for Synchronous and Asynchronous Process Calculi

Bibliographic Details
Main Authors: Hoare, T, Fournet, C, dal Zilio, S
Format: Record
Published: 2000