Pages that link to "Item:Q1095649"
From MaRDI portal
The following pages link to Proving entailment between conceptual state specifications (Q1095649):
Displaying 4 items.
- The existence of refinement mappings (Q805251) (← links)
- Proving properties of states in the situation calculus (Q1313962) (← links)
- Two implementation relations and the correctness of communicating replicated processes (Q1362771) (← links)
- Application of the composition principle to unity-like specifications (Q5044739) (← links)