Pages that link to "Item:Q757079"

The following pages link to P-A logic - a compositional proof system for distributed programs (Q757079):

Displaying 7 items.

• Modular verification of multithreaded programs (Q557795) (← 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)
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts (Q1654563) (← links)
• Distributed automata in an assumption-commitment framework (Q1847547) (← links)
• Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688) (← links)
• Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)