Knowledge Based Scheduling of Distributed Systems

DOI10.1007/978-3-642-13754-9_2zbMath1288.68178OpenAlexW1578198976MaRDI QIDQ3587250

Joseph Sifakis, Doron A. Peled, Saddek Bensalem

Publication date: 7 September 2010

Published in: Time for Verification (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/185012/files/Amir-version.pdf

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Distributed Implementation of Systems with Multiparty Interactions and Priorities

Uses Software

• CESAR

Cites Work

• Unnamed Item
• Unnamed Item
• Achieving distributed control through model checking
• System modelling with high-level Petri nets
• Common knowledge and update in finite environments
• A general architecture for decentralized supervisory control of discrete-event systems
• Know means no: Incorporating knowledge into discrete-event control systems
• Supervisory Control of a Class of Discrete Event Processes
• Think globally, act locally: decentralized supervisory control
• Communicating sequential processes
• A little knowledge goes a long way

This page was built for publication: Knowledge Based Scheduling of Distributed Systems