An Operational Semantics for CSP

Detalles Bibliográficos
Main Authors: Roscoe, A, Brookes, S, Walker, D
Formato: Report
Publicado: Oxford University Computing Laboratory 1986