Semantic models for total correctness and fairness
From MaRDI portal
Publication:1208419
DOI10.1016/0304-3975(93)90173-QzbMath0778.68064OpenAlexW2038213662MaRDI QIDQ1208419
Michael G. Main, David L. Black
Publication date: 16 May 1993
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(93)90173-q
Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The inverse semigroup of a sum-ordered semiring
- Matricial theories
- First-order dynamic logic
- Functional behavior of nondeterministic and concurrent programs
- Guarded commands, nondeterminacy and formal derivation of programs
- Floyd-Hoare logic in iteration theories
- Semantic models for total correctness and fairness
This page was built for publication: Semantic models for total correctness and fairness
