The following pages link to (Q4845051):
Displaying 5 items.
- State-transition categories (Q1058492) (← links)
- An algebraic semantics for structured transition systems and its application to logic programs (Q1199528) (← links)
- The categorical framework of object-oriented concurrent systems (Q1203710) (← links)
- Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370) (← links)
- Distributed catenation and chomsky hierarchy (Q5055903) (← links)