The following pages link to (Q4184276):
Displaying 5 items.
- Developments in concurrent Kleene algebra (Q299202) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Programs as partial graphs. I: Flow equivalence and correctness (Q1168723) (← links)
- Programs as partial graphs. II: Recursion (Q1168724) (← links)
- Exploring an Interface Model for CKA (Q2941164) (← links)
