A generalized control structure and its formal definition
From MaRDI portal
Publication:3666245
DOI10.1145/358161.358168zbMath0517.68024OpenAlexW1975551945MaRDI QIDQ3666245
Publication date: 1983
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/358161.358168
Related Items (11)
Termination conventions and comparative semantics ⋮ Regularity of relations: A measure of uniformity ⋮ Specification methodology: An integrated relational approach ⋮ Theory of information aspects ? A tool to control independence and redundancy of information in database ⋮ Abstract representation theorems for demonic refinement algebras ⋮ On the Structure of Demonic Refinement Algebras with Enabledness and Termination ⋮ Defense in Depth Formulation and Usage in Dynamic Access Control ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Algebras for iteration and infinite computations ⋮ Strongest invariant functions: Their use in the systematic analysis of while statements ⋮ Nondeterministic semantics of compound diagrams
This page was built for publication: A generalized control structure and its formal definition
