Pages that link to "Item:Q1845472"
From MaRDI portal
The following pages link to On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs (Q1845472):
Displaying 12 items.
- Correctness of recursive parallel nondeterministic flow programs (Q789165) (← links)
- Deterministic and nondeterministic flowchart interpretations (Q796975) (← links)
- Final algebra semantics and data type extensions (Q1131834) (← links)
- Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. I (Q1143165) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Program morphisms (Q1203125) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- SYSTEMS AND DISTINCTIONS; DUALITY AND COMPLEMENT ARITY† (Q4189118) (← links)
- (Q4285618) (← links)
- A categorical manifesto (Q4713397) (← links)
