A note on guarded theories

DOI10.1016/0304-3975(90)90153-9zbMath0751.18006OpenAlexW2094505602MaRDI QIDQ1813969

Stephen L. Bloom

Publication date: 25 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90153-9

zbMATH Keywords

algebraic theoryiteration theoryguard familyguarded theory

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Cites Work

• Semantic models for total correctness and fairness
• Vector Iteration in Pointed Iterative Theories
• Floyd-Hoare logic in iteration theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on guarded theories