Bill Stoddart

According to our database, Bill Stoddart authored at least 23 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2024

Bunch theory: Axioms, logic, applications and model.

Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda

J. Log. Algebraic Methods Program., 2024

2023

bGSL: An imperative language for specification and refinement of backtracking programs.

Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda

J. Log. Algebraic Methods Program., 2023

2019

Bunch theory, applications, axioms and models.

Bill Stoddart, Frank Zeyda, Steve Dunne

CoRR, 2019

The Halting Paradox.

Bill Stoddart

CoRR, 2019

2013

A unification of probabilistic choice within a design-based model of reversible computation.

Bill Stoddart, Frank Zeyda

Formal Aspects Comput., 2013

2010

Probabilistic Choice, Reversibility, Loops, and Miracles.

Bill Stoddart, Pete Bell

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

Preference and Non-deterministic Choice.

Bill Stoddart, Frank Zeyda, Steve Dunne

Proceedings of the Theoretical Aspects of Computing, 2010

2009

A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages.

Bill Stoddart, Robert Lynas, Frank Zeyda

Proceedings of the Workshop on Reversible Computation, 2009

2007

Modelling and Proof Analysis of Interrupt Driven Scheduling.

Bill Stoddart, Dominique Cansell, Frank Zeyda

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

A Design-Based Model of Reversible Computation.

Bill Stoddart, Frank Zeyda, Robert Lynas

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

2005

A Prospective-Value Semantics for the GSL.

Frank Zeyda, Bill Stoddart, Steve Dunne

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

2003

Expression Transformers in B-GSL.

Bill Stoddart, Frank Zeyda

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study.

Antonis D. Papatsaras, Bill Stoddart

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2001

The event based modelling of systems.

Bill Stoddart

PhD thesis, 2001

2000

An Execution Architecture for GSL.

Bill Stoddart

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

1999

Undefined Expressions and Logic in Z and B.

Bill Stoddart, Steve Dunne, Andy Galloway

Formal Methods Syst. Des., 1999

The Refinement of Event Calculus Models.

Bill Stoddart, Steve Dunne

Proceedings of the Integrated Formal Methods, 1999

1998

The Specification and Refinement of an Environmental Model.

Bill Stoddart

Proceedings of the ZUM '98: The Z Formal Specification Notation, 1998

Abstract State Machines: Designing Distributed Systems with State Machines and B.

Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore

Proceedings of the B'98: Recent Advances in the Development and Use of the B Method, 1998

1997

An Introduction to the Event Calculus.

Bill Stoddart

Proceedings of the ZUM '97: The Z Formal Specification Notation, 1997

Integrated formal methods.

Andy Galloway, Bill Stoddart

Proceedings of the Actes du XVème Congrès INFORSID, Toulouse, France, 10-13 juin, 1997, 1997

An Operational Semantics for ZCCS.

Andy Galloway, Bill Stoddart

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

1993

Type Interference in Stack Based Languages.

Bill Stoddart, Peter J. Knaggs

Formal Aspects Comput., 1993