The following pages link to An Ordered Category of Processes (Q3498427):
Displaying 4 items.
- Relational properties of sequential composition of coalgebras (Q406463) (← links)
- Embedding mappings and splittings with applications (Q968275) (← links)
- Using relation-algebraic means and tool support for investigating and computing bipartitions (Q2360655) (← links)
- On classifying processes (Q2565932) (← links)