Pages that link to "Item:Q5899318"
From MaRDI portal
The following pages link to Relational Methods in Computer Science (Q5899318):
Displaying 10 items.
- Fixing Zeno gaps (Q549197) (← links)
- Algebraic separation logic (Q549676) (← links)
- Fixpoints for general correctness (Q549677) (← links)
- Abstract representation theorems for demonic refinement algebras (Q604454) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- Normal design algebra (Q844885) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Infinite executions of lazy and strict computations (Q2347906) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- Defense in Depth Formulation and Usage in Dynamic Access Control (Q3304820) (← links)
