default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSteve Dunne
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
- [i1]Bill Stoddart, Frank Zeyda, Steve Dunne:
Bunch theory, applications, axioms and models. CoRR abs/1911.04344 (2019) - 2013
- [j3]Ian J. Hayes, Steve Dunne, Larissa Meinicke:
Linking Unifying Theories of Program refinement. Sci. Comput. Program. 78(11): 2086-2107 (2013) - 2012
- [c22]Steve Dunne:
Conscriptions: A New Relational Model for Sequential Computations. UTP 2012: 144-163 - 2011
- [c21]Steve Dunne:
Termination without \checkmark\checkmark in CSP. FM 2011: 278-292 - 2010
- [c20]Steve Dunne, Frank Zeyda:
Reactivising Classical B. ASM 2010: 302-318 - [c19]Bill Stoddart, Frank Zeyda, Steve Dunne:
Preference and Non-deterministic Choice. ICTAC 2010: 137-152 - [c18]Ian J. Hayes, Steve Dunne, Larissa Meinicke:
Unifying Theories of Programming That Distinguish Nontermination and Abort. MPC 2010: 178-194
2000 – 2009
- 2009
- [c17]Steve Dunne:
Of wlp and CSP. REFINE@FMWeek 2009: 35-45 - 2008
- [c16]Steve Dunne, Stacey Conroy:
A Practical Single Refinement Method for B. ABZ 2008: 195-208 - [c15]Steve Dunne, Ian J. Hayes, Andy Galloway:
Reasoning about Loops in Total and General Correctness. UTP 2008: 62-81 - 2007
- [c14]Steve Dunne:
Chorus Angelorum. B 2007: 19-33 - [c13]Steve Dunne, Andy Galloway:
Lifting General Correctness into Partial Correctness is ok. IFM 2007: 215-232 - 2006
- [j2]Ana Cavalcanti, Jim Woodcock, Steve Dunne:
Angelic nondeterminism in the unifying theories of programming. Formal Aspects Comput. 18(3): 288-307 (2006) - [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
- [c12]Colin J. Fidge, Peter J. Robinson, Steve Dunne:
Refinement Laws for Verifying Library Subroutine Adaptation. Australian Software Engineering Conference 2005: 224-232 - [c11]Steve Dunne, Stacey Conroy:
Process Refinement in B. ZB 2005: 45-64 - [c10]Frank Zeyda, Bill Stoddart, Steve Dunne:
A Prospective-Value Semantics for the GSL. ZB 2005: 187-202 - 2004
- [c9]Steve Dunne:
Understanding Object-Z Operations as Generalised Substitutions. IFM 2004: 328-342 - 2003
- [c8]Steve Dunne:
Introducing Backward Refinement into B. ZB 2003: 178-196 - 2002
- [c7]Steve Dunne:
A Theory of Generalised Substitutions. ZB 2002: 270-290 - [c6]Steve Dunne:
Junctive Compositions of specifications in total, general correctness. Refine 2002: 4-20 - 2001
- [c5]Steve Dunne:
Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness. IWFM 2001 - [c4]Steve Dunne:
Abstract Commands: a Uniform Notation for Specification and Implementation. CATS 2001: 104-123 - 2000
- [e1]Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King:
ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings. Lecture Notes in Computer Science 1878, Springer 2000, ISBN 3-540-67944-8 [contents]
1990 – 1999
- 1999
- [j1]Bill Stoddart, Steve Dunne, Andy Galloway:
Undefined Expressions and Logic in Z and B. Formal Methods Syst. Des. 15(3): 201-215 (1999) - [c3]Steve Dunne:
The Safe Machine: A New Specification Construct for B. World Congress on Formal Methods 1999: 472-489 - [c2]Bill Stoddart, Steve Dunne:
The Refinement of Event Calculus Models. IFM 1999: 151-169 - 1998
- [c1]Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore:
Abstract State Machines: Designing Distributed Systems with State Machines and B. B 1998: 226-242
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:
