The following pages link to (Q3359774):
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)
- Application of the composition principle to unity-like specifications (Q5044739) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)