An Operational Semantics for CSP

An Operational Semantics for CSP

Detalhes bibliográficos
Principais autores: Roscoe, A, Brookes, S, Walker, D
Formato: Report
Publicado em: Oxford University Computing Laboratory 1986

Registros relacionados