Building distributed controllers for systems with priorities
From MaRDI portal
Publication:541297
DOI10.1016/J.JLAP.2010.10.001zbMath1217.68057OpenAlexW2024159530MaRDI QIDQ541297
Imene Ben-Hafaiedh, Sophie Quinton, Susanne Graf
Publication date: 7 June 2011
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.10.001
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)
Related Items (2)
Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities
Uses Software
Cites Work
- A calculus of communicating systems
- Composition for component-based modeling
- Know means no: Incorporating knowledge into discrete-event control systems
- Compositional Verification for Component-Based Systems and Application
- Contract-Directed Synthesis of Simple Orchestrators
- A Notion of Glue Expressiveness for Component-Based Systems
- Capturing Conflict and Confusion in CSP
- Priority Scheduling of Distributed Systems Based on Model Checking
- Supervisory Control of a Class of Discrete Event Processes
- Think globally, act locally: decentralized supervisory control
- Communicating sequential processes
- The Algebra of Connectors—Structuring Interaction in BIP
- An Approach to Modelling and Verification of Component Based Systems
- FM 2005: Formal Methods
- Structured Communication-Centred Programming for Web Services
This page was built for publication: Building distributed controllers for systems with priorities