The University of York
/Department of Computer Science
/Jeremy Jacob
/Selected Papers

Available by DOI

• On Modelling User Observations in the UTP with Michael Banks
• Unifying Theories of Confidentiality with Michael Banks
• A Principled Semantics for INP with Alan Wood
• A CSP model of Eiffel's SCOOP with Richard Paige and Phil Brooke

Other