Set-Theoretic Models of Computations
From MaRDI portal
Publication:2842623
DOI10.1007/978-3-642-39698-4_1zbMath1390.68297OpenAlexW48592798MaRDI QIDQ2842623
Publication date: 16 August 2013
Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_1
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of set theory (03E75) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- A theoretical basis for stepwise refinement and the programming calculus
- Data refinement of predicate transformers
- Distributed cooperation with action systems
- Programs, Recursion and Unbounded Choice
- Guarded commands, nondeterminacy and formal derivation of programs
- The B-Book
- The specification statement
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Set-Theoretic Models of Computations