An Operational Semantics for CSP

An Operational Semantics for CSP

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

Ejemplares similares