Bill Stoddart

25 papers B 2C 2Journal 7Unranked 12
YearRankTypeTitle / Venue / Authors
2024 J jnl
Bunch theory: Axioms, logic, applications and model.
J. Log. Algebraic Methods Program.
Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda
2023 J jnl
bGSL: An imperative language for specification and refinement of backtracking programs.
J. Log. Algebraic Methods Program.
Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
2019 J jnl
Bunch theory, applications, axioms and models.
CoRR
Bill Stoddart, Frank Zeyda, Steve Dunne
2019 J jnl
The Halting Paradox.
CoRR
Bill Stoddart
2013 J jnl
A unification of probabilistic choice within a design-based model of reversible computation.
Formal Aspects Comput.
Bill Stoddart, Frank Zeyda
2010 C conf
Preference and Non-deterministic Choice.
ICTAC
Bill Stoddart, Frank Zeyda, Steve Dunne
2010 — conf
Probabilistic Choice, Reversibility, Loops, and Miracles.
UTP
Bill Stoddart, Pete Bell
2009 — conf
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages.
RC@ETAPS
Bill Stoddart, Robert Lynas, Frank Zeyda
2007 — conf
Modelling and Proof Analysis of Interrupt Driven Scheduling.
B
Bill Stoddart, Dominique Cansell, Frank Zeyda
2006 — conf
A Design-Based Model of Reversible Computation.
UTP
Bill Stoddart, Frank Zeyda, Robert Lynas
2006 — ed.
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
UTP
Steve Dunne, Bill Stoddart
2005 — conf
A Prospective-Value Semantics for the GSL.
ZB
Frank Zeyda, Bill Stoddart, Steve Dunne
2003 — conf
Expression Transformers in B-GSL.
ZB
Bill Stoddart, Frank Zeyda
2002 — conf
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.
ZB
Antonis D. Papatsaras, Bill Stoddart
2001 — —
The event based modelling of systems.
Bill Stoddart
2000 — conf
An Execution Architecture for GSL.
ZB
Bill Stoddart
2000 B ed.
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings
IFM
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
1999 B conf
The Refinement of Event Calculus Models.
IFM
Bill Stoddart, Steve Dunne
1999 J jnl
Undefined Expressions and Logic in Z and B.
Formal Methods Syst. Des.
Bill Stoddart, Steve Dunne, Andy Galloway
1998 — conf
Abstract State Machines: Designing Distributed Systems with State Machines and B.
B
Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
1998 — conf
The Specification and Refinement of an Environmental Model.
ZUM
Bill Stoddart
1997 — conf
An Introduction to the Event Calculus.
ZUM
Bill Stoddart
1997 C conf
An Operational Semantics for ZCCS.
ICFEM
Andy Galloway, Bill Stoddart
1997 — conf
Integrated formal methods.
INFORSID
Andy Galloway, Bill Stoddart
1993 J jnl
Type Interference in Stack Based Languages.
Formal Aspects Comput.
Bill Stoddart, Peter J. Knaggs