|
Search the dblp DataBase
Bill Stoddart:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore
Abstract State Machines: Designing Distributed Systems with State Machines and B. [Citation Graph (0, 0)][DBLP] B, 1998, pp:226-242 [Conf]
- Bill Stoddart, Dominique Cansell, Frank Zeyda
Modelling and Proof Analysis of Interrupt Driven Scheduling. [Citation Graph (0, 0)][DBLP] B, 2007, pp:155-170 [Conf]
- Andy Galloway, Bill Stoddart
An Operational Semantics for ZCCS. [Citation Graph (0, 0)][DBLP] ICFEM, 1997, pp:272-0 [Conf]
- Bill Stoddart, Steve Dunne
The Refinement of Event Calculus Models. [Citation Graph (0, 0)][DBLP] IFM, 1999, pp:151-169 [Conf]
- Andy Galloway, Bill Stoddart
Integrated formal methods. [Citation Graph (0, 0)][DBLP] INFORSID, 1997, pp:549-576 [Conf]
- Bill Stoddart, Frank Zeyda, Robert Lynas
A Design-Based Model of Reversible Computation. [Citation Graph (0, 0)][DBLP] UTP, 2006, pp:63-83 [Conf]
- Antonis Papatsaras, Bill Stoddart
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. [Citation Graph (0, 0)][DBLP] ZB, 2002, pp:458-476 [Conf]
- Bill Stoddart
An Execution Architecture for GSL. [Citation Graph (0, 0)][DBLP] ZB, 2000, pp:394-413 [Conf]
- Bill Stoddart
An Introduction to the Event Calculus. [Citation Graph (0, 0)][DBLP] ZUM, 1997, pp:10-34 [Conf]
- Bill Stoddart
The Specification and Refinement of an Environmental Model. [Citation Graph (0, 0)][DBLP] ZUM, 1998, pp:24-41 [Conf]
- Bill Stoddart, Frank Zeyda
Expression Transformers in B-GSL. [Citation Graph (0, 0)][DBLP] ZB, 2003, pp:197-215 [Conf]
- Frank Zeyda, Bill Stoddart, Steve Dunne
A Prospective-Value Semantics for the GSL. [Citation Graph (0, 0)][DBLP] ZB, 2005, pp:187-202 [Conf]
- Bill Stoddart, Peter J. Knaggs
Type Interference in Stack Based Languages. [Citation Graph (0, 0)][DBLP] Formal Asp. Comput., 1993, v:5, n:4, pp:289-298 [Journal]
- Bill Stoddart, Steve Dunne, Andy Galloway
Undefined Expressions and Logic in Z and B. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1999, v:15, n:3, pp:201-215 [Journal]
Preference and Non-deterministic Choice. [Citation Graph (, )][DBLP]
Search in 0.050secs, Finished in 0.051secs
|