Pages that link to "Item:Q1346680"
From MaRDI portal
The following pages link to Composition of assumption-commitment specifications in a UNITY style (Q1346680):
Displaying 12 items.
- Splitting atoms safely (Q879357) (← links)
- An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
- A foundation for modular reasoning about safety and progress properties of state-based concurrent programs (Q1391101) (← links)
- Composing leads-to properties (Q1575647) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Factorizing fault tolerance. (Q1853629) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Composition of default specifications (Q2761751) (← links)
- Application of the composition principle to unity-like specifications (Q5044739) (← links)
- Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)