Pages that link to "Item:Q1901688"
From MaRDI portal
The following pages link to Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency (Q1901688):
Displaying 5 items.
- Proving linearizability with temporal logic (Q539223) (← links)
- Conditions of contracts for separating responsibilities in heterogeneous systems (Q1742989) (← links)
- Distributed automata in an assumption-commitment framework (Q1847547) (← links)
- Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039) (← links)
- Assumption-Commitment Support for CSP Model Checking (Q5178998) (← links)