• Publications
  • Influence
Multiple self-healing squamous epithelioma is caused by a disease-specific spectrum of mutations in TGFBR1
Multiple self-healing squamous epithelioma (MSSE), also known as Ferguson-Smith disease (FSD), is an autosomal-dominant skin cancer condition characterized by multiple squamous-carcinoma–like locallyExpand
  • 126
  • 14
  • PDF
Laws of programming
TLDR
A complete set of algebraic laws is given for Dijkstra's nondeterministic sequential programming language. Expand
  • 413
  • 10
  • PDF
Specifications are not (necessarily) executable
TLDR
This paper presents a number of arguments against the idea that specifications can be executed in specification languages. Expand
  • 265
  • 9
A Case-Study in Timed Refinement: A Mine Pump
TLDR
A specification and top-level refinement of a simple mine pump control system, as well as a proof of correctness of the refinement, are presented as an example of the application of a formal method for the development of time-based systems. Expand
  • 108
  • 7
  • PDF
Specification case studies
  • 403
  • 6
A Set-Theoretic Model for Real-Time Specification and Reasoning
TLDR
We present a simple variant which builds methodically on set theory, and is thus suitable for use by programmers with little formal methods experience. Expand
  • 43
  • 3
Unifying Theories of Programming That Distinguish Nontermination and Abort
TLDR
In this paper we focus on the relationship between a number of specification models. Expand
  • 22
  • 3
A semantics for behavior trees
TLDR
We present a formal semantics for the Behavior Tree notation. Expand
  • 22
  • 3
  • PDF
An Algebra of Synchronous Atomic Steps
TLDR
This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. Expand
  • 18
  • 3
  • PDF
Separating Timing and Calculation in Real-Time Refinement
TLDR
We consider the specification and refinement of sequential real-time programs via a process of stepwise refinement from a specification of the required real- time behaviour of a system. Expand
  • 11
  • 3
  • PDF