Pages that link to "Item:Q5044739"
From MaRDI portal
The following pages link to Application of the composition principle to unity-like specifications (Q5044739):
Displaying 7 items.
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- Union and actualization of module specifications: Some compatibility results (Q1091801) (← links)
- Composition of assumption-commitment specifications in a UNITY style (Q1346680) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
- Constructive Specifications for Compositional Units (Q5458803) (← links)
- Towards applying the composition principle to verify a microkernel operating system (Q6567716) (← links)