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 4 items.
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← 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)
- Towards applying the composition principle to verify a microkernel operating system (Q6567716) (← links)
