The following pages link to A logical view of composition (Q685416):
Displaying 14 items.
- Safe reasoning with logic LTS (Q549200) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (Q671674) (← links)
- On using temporal logic for refinement and compositional verification of concurrent systems (Q674008) (← links)
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Ready simulation for concurrency: it's logical! (Q988555) (← links)
- An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
- Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
- On hierarchically developing reactive systems (Q1959436) (← links)
- AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES (Q3395145) (← links)
- Safe Reasoning with Logic LTS (Q3599086) (← links)
- Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (Q3602799) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract) (Q5096736) (← links)
