Pages that link to "Item:Q1914039"
From MaRDI portal
The following pages link to Specification and refinement of networks of asynchronously communicating agents using the assumption/commitment paradigm (Q1914039):
Displaying 5 items.
- Assumption-commitment support for CSP model checking (Q1040778) (← 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)
- Implementing Services by Partial State Machines (Q3599077) (← links)
- Assumption-Commitment Support for CSP Model Checking (Q5178998) (← links)
