Pages that link to "Item:Q1847547"
From MaRDI portal
The following pages link to Distributed automata in an assumption-commitment framework (Q1847547):
Displaying 8 items.
- 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)
- Cooperating Distributed Tree Automata (Q3166944) (← links)
- Modular constructions of distributing automata (Q3569036) (← links)
- Assumption-Commitment Support for CSP Model Checking (Q5178998) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)
- Distributed ω-Automata (Q5696932) (← links)