Developments in concurrency and communicationde C. A. R. HoareMateriasParallel processing (Electronic computers)Ediciones (1)Developments in concurrency and communication (1990)Addison-Wesley Pub. Co. · inglésMás obras de C. A. R. HoareVDM '90SSoftware and systems safetySoftware and systems safetyAAlgebraic specification and proof of properties of communicaAlgebraic specification and proof of properties of communicating sequential processes1985
AAlgebraic specification and proof of properties of communicaAlgebraic specification and proof of properties of communicating sequential processes1985