Pages that link to "Item:Q1093364"
From MaRDI portal
The following pages link to On flowchart theories. I. The deterministic case (Q1093364):
Displaying 9 items.
- An algebraic model of synchronous systems (Q1186811) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)
- Bisimulation is two-way simulation (Q1342255) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Condition/decision duality and the internal logic of extensive restriction categories (Q2133172) (← links)
- Matrix and matricial iteration theories. I (Q2366691) (← links)
- Feedback, trace and fixed-point semantics (Q4787833) (← links)
