The following pages link to (Q5751953):
Displaying 6 items.
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Network algebra in Java (Q1763161) (← links)
- Processes with multiple entries and exits (Q5055885) (← links)
- The algebra of stream processing functions (Q5941194) (← links)