default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBill Stoddart
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]Bill Stoddart, Steve Dunne, Chunyan Mu, Frank Zeyda:
Bunch theory: Axioms, logic, applications and model. J. Log. Algebraic Methods Program. 140: 100977 (2024)- 2023
- [j4]Steve Dunne, João F. Ferreira, Alexandra Mendes
, Campbell Ritchie, Bill Stoddart, Frank Zeyda:
bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. 130: 100811 (2023)
2010 – 2019
- 2019
- [i2]Bill Stoddart:
The Halting Paradox. CoRR abs/1906.05340 (2019) - [i1]Bill Stoddart, Frank Zeyda, Steve Dunne:
Bunch theory, applications, axioms and models. CoRR abs/1911.04344 (2019) - 2013
- [j3]Bill Stoddart, Frank Zeyda:
A unification of probabilistic choice within a design-based model of reversible computation. Formal Aspects Comput. 25(1): 107-131 (2013) - 2010
- [c15]Bill Stoddart, Frank Zeyda, Steve Dunne:
Preference and Non-deterministic Choice. ICTAC 2010: 137-152 - [c14]Bill Stoddart, Pete Bell:
Probabilistic Choice, Reversibility, Loops, and Miracles. UTP 2010: 253-270
2000 – 2009
- 2009
- [c13]Bill Stoddart, Robert Lynas, Frank Zeyda:
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages. RC@ETAPS 2009: 33-56 - 2007
- [c12]Bill Stoddart, Dominique Cansell, Frank Zeyda:
Modelling and Proof Analysis of Interrupt Driven Scheduling. B 2007: 155-170 - 2006
- [c11]Bill Stoddart, Frank Zeyda, Robert Lynas:
A Design-Based Model of Reversible Computation. UTP 2006: 63-83 - [e2]Steve Dunne, Bill Stoddart:
Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4010, Springer 2006, ISBN 3-540-34750-X [contents] - 2005
- [c10]Frank Zeyda, Bill Stoddart, Steve Dunne:
A Prospective-Value Semantics for the GSL. ZB 2005: 187-202 - 2003
- [c9]Bill Stoddart, Frank Zeyda:
Expression Transformers in B-GSL. ZB 2003: 197-215 - 2002
- [c8]Antonis D. Papatsaras, Bill Stoddart:
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study. ZB 2002: 458-476 - 2001
- [b1]Bill Stoddart:
The event based modelling of systems. Teesside University, UK, 2001 - 2000
- [c7]Bill Stoddart:
An Execution Architecture for GSL. ZB 2000: 394-413 - [e1]Wolfgang Grieskamp, Thomas Santen, Bill Stoddart:
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, ISBN 3-540-41196-8 [contents]
1990 – 1999
- 1999
- [j2]Bill Stoddart, Steve Dunne, Andy Galloway:
Undefined Expressions and Logic in Z and B. Formal Methods Syst. Des. 15(3): 201-215 (1999) - [c6]Bill Stoddart, Steve Dunne:
The Refinement of Event Calculus Models. IFM 1999: 151-169 - 1998
- [c5]Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242 - [c4]Bill Stoddart:
The Specification and Refinement of an Environmental Model. ZUM 1998: 24-41 - 1997
- [c3]Andy Galloway, Bill Stoddart:
An Operational Semantics for ZCCS. ICFEM 1997: 272-282 - [c2]Andy Galloway, Bill Stoddart:
Integrated formal methods. INFORSID 1997: 549-576 - [c1]Bill Stoddart:
An Introduction to the Event Calculus. ZUM 1997: 10-34 - 1993
- [j1]Bill Stoddart, Peter J. Knaggs:
Type Interference in Stack Based Languages. Formal Aspects Comput. 5(4): 289-298 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-11 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
