The following pages link to In praise of algebra (Q1941861):
Displayed 8 items.
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- A UTP approach for rTiMo (Q1624596) (← links)
- A process calculus BigrTiMo of mobile systems and its formal semantics (Q2026376) (← links)
- On the relation between concurrent separation logic and concurrent Kleene algebra (Q2347904) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- Towards a Modeling Language for Cyber-Physical Systems (Q2842648) (← links)
- Laws of Programming for References (Q2937790) (← links)