stephen-brookes documents

A Grainless Semantics for Parallel Programs with Shared Mutable Data
Documents A Grainless Semantics for Parallel Programs with Shared Mutable Data
Transfer Principles for Reasoning About Concurrent Programs
Documents Transfer Principles for Reasoning About Concurrent Programs
Idealized CSP: Combining Procedures With Communicating Processes
Documents Idealized CSP: Combining Procedures With Communicating Processes
Retracing CSP
Documents Retracing CSP
Curriculum Vitae Steve Brookes 010316
Documents Curriculum Vitae Steve Brookes 010316
Brookes_ACPO Untangling Accountability
Documents Brookes_ACPO Untangling Accountability