Travelled to:1 × France
1 × Ireland
3 × United Kingdom
Collaborated with:∅ A.Galloway B.Stoddart
Talks about:correct (2) understand (1) substitut (1) generalis (1) construct (1) calculus (1) without (1) partial (1) general (1) termin (1)
Person: Steve Dunne
DBLP: Dunne:Steve
Contributed to:
2011
2007200419991999Wrote 5 papers:
- FM-2011-Dunne #csp #termination
- Termination without √ in CSP (SD), pp. 278–292.
- IFM-2007-DunneG #correctness
- Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.
- IFM-2004-Dunne #comprehension
- Understanding Object-Z Operations as Generalised Substitutions (SD), pp. 328–342.
- FM-v1-1999-Dunne #specification
- The Safe Machine: A New Specification Construct for B (SD), pp. 472–489.
- IFM-1999-StoddartD #calculus #modelling #refinement
- The Refinement of Event Calculus Models (BS, SD), pp. 151–169.