Sotabase

Career

· Lecturer and Senior Lecturer, Manchester University, Computer Science Department1986–
· Hardware/Software Interface Developer, International Computers Limited1982–

Publications (169)

Quantum field theory on Clifford-Klein space-times. The effective Lagrangian and vacuum stress-energy tensor
1978
97
cited
Retrenchment: An Engineering Variation on Refinement
Formal Specification and Development in B · 1998
90
cited
Core Hybrid Event-B I: Single Hybrid Event-B machines
Science of Computer Programming · 2015
82
cited
Flagship: a parallel architecture for declarative programming
[1988] The 15th Annual International Symposium on Computer Architecture. Conference Proceedings · 1988
71
cited
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming · 2007
61
cited
Book Review: "Concurrency Verification: Introduction to Compositional and Non-compositional Methods" by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel and Job Zwiers (eds.)
Journal of Logic and Computation · 2003
45
cited
Automorphic field theory-some mathematical issues
1979
42
cited
The Verification Grand Challenge
Journal of universal computer science (Online) · 2007
42
cited
The Vacuum Stress Tensor for Automorphic Fields on Some Flat Space-times
1979
41
cited
Retrenching partial requirements into system definitions: a simple feature interaction case study
Requirements Engineering · 2003
34
cited
Retrenchment, Refinement, and Simulation
ZB · 2000
31
cited
Modelling and Refining Hybrid Systems in Event-B and Rodin
From Action Systems to Distributed Systems · 2016
30
cited
Composition mechanisms for retrenchment
J. Log. Algebraic Methods Program. · 2008
27
cited
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines
Science of Computer Programming · 2017
27
cited
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern
World Congress on Formal Methods · 2005
25
cited
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae · 2007
25
cited
Sharp Retrenchment, Modulated Refinement and Simulation
Formal Aspects of Computing · 1999
24
cited
Controlling Control Systems: An Application of Evolving Retrenchment
ZB · 2002
20
cited
Retrenchment and Punctured Simulation
International Conference on Integrated Formal Methods · 1999
20
cited
Maximally abstract retrenchments
ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods · 2000
18
cited
Sotabase