CSP Is a Retract of CCS

Bibliografiske detaljer
Main Authors: He, J, Hoare, C
Format: Conference item
Udgivet: Springer 2006