Priority scheduling of distributed systems based on model checking
DOI10.1007/S10703-011-0128-YzbMATH Open1260.68030OpenAlexW2134284203MaRDI QIDQ453501FDOQ453501
Saddek Bensalem, Joseph Sifakis, Ananda Basu, Doron Peled
Publication date: 27 September 2012
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-011-0128-y
Recommendations
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- System modelling with high-level Petri nets
- A general architecture for decentralized supervisory control of discrete-event systems
- Think globally, act locally: decentralized supervisory control
- Undecidable problems of decentralized observation and control on regular languages
- Common knowledge and update in finite environments
- Undecidability in decentralized supervision
- Know means no: Incorporating knowledge into discrete-event control systems
- Priority Scheduling of Distributed Systems Based on Model Checking
- A little knowledge goes a long way
- Achieving distributed control through model checking
- Methods for Knowledge Based Controlling of Distributed Systems
Cited In (2)
Uses Software
This page was built for publication: Priority scheduling of distributed systems based on model checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q453501)
