Pages that link to "Item:Q2281642"
From MaRDI portal
The following pages link to An algebra of synchronous atomic steps (Q2281642):
Displayed 6 items.
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Encoding fairness in a synchronous concurrent program algebra (Q2024348) (← links)
- A wide-spectrum language for verification of programs on weak memory models (Q2024349) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Contextuality in distributed systems (Q6174413) (← links)
- A fine-grained semantics for arrays and pointers under weak memory models (Q6174541) (← links)