Pages that link to "Item:Q979076"

The following pages link to Is observational congruence on \(\mu \)-expressions axiomatisable in equational Horn logic? (Q979076):

Displaying 2 items.

• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
• Non-deterministic structures of computation (Q5740658) (← links)