Pages that link to "Item:Q3666245"
From MaRDI portal
The following pages link to A generalized control structure and its formal definition (Q3666245):
Displaying 11 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Embedding a demonic semilattice in a relation algebra (Q672711) (← links)
- Algebras for iteration and infinite computations (Q715050) (← links)
- Strongest invariant functions: Their use in the systematic analysis of while statements (Q797985) (← links)
- Termination conventions and comparative semantics (Q1094864) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Specification methodology: An integrated relational approach (Q3738546) (← links)
- Theory of information aspects ? A tool to control independence and redundancy of information in database (Q4007426) (← links)
