The following pages link to (Q2753681):
Displaying 8 items.
- A connection between concurrency and language theory (Q265802) (← links)
- Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076) (← links)
- Equational theories for automata (Q2074221) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- (Q5014444) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
