The following pages link to (Q4375631):
Displaying 5 items.
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Non-regular iterators in process algebra (Q5958616) (← links)
