David Murphy is an author at University of Sussex specializing in formal methods, process control, and causal inference.
Top concepts
Formal MethodsComplexityEngineeringProcess ControlCausal InferenceMechanism DesignReal-time SystemsParallel ComputingAutomated ReasoningFormal Verification
Publications per year
1993–1996
2
2
Timing and causality in process algebra
Luca Aceto, David Murphy · Acta Informatica · 1996 · 96 citations
Rows per page
1–2 of 2