Conscriptions: A New Relational Model for Sequential Computations

DOI10.1007/978-3-642-35705-3_7zbMath1452.68049OpenAlexW968391095MaRDI QIDQ3455648

Steve Dunne

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35705-3_7

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other nonclassical models of computation (68Q09)

Related Items (1)

An algebraic approach to computations with progress

Cites Work

• Unifying Correctness Statements
• Unifying Theories of Programming That Distinguish Nontermination and Abort
• The Linear Algebra of UTP

This page was built for publication: Conscriptions: A New Relational Model for Sequential Computations