Pages that link to "Item:Q757079"
From MaRDI portal
The following pages link to P-A logic - a compositional proof system for distributed programs (Q757079):
Displaying 17 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- Proof rules for fault tolerant distributed programs (Q1085970) (← links)
- A proof system for distributed processes (Q1106014) (← links)
- An explanatory presentation of composition rules for assumption- commitment specifications (Q1321833) (← links)
- A trace-based compositional proof theory for fault tolerant distributed systems (Q1330425) (← 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)
- (Q3350772) (← links)
- A Logic For Distributed Processes (Q3809776) (← links)
- A compositional proof system for distributed programs (Q4560363) (← links)
- (Q4723289) (← links)
- Logical foundations for compositional verification and development of concurrent programs in UNITY (Q5096396) (← links)
- Programming Languages and Systems (Q5308700) (← links)
- An introduction to compositional methods for concurrency and their application to real-time. (Q5955749) (← links)
