Priority Scheduling of Distributed Systems Based on Model Checking
From MaRDI portal
Publication:3636855
DOI10.1007/978-3-642-02658-4_10zbMath1242.68033OpenAlexW1855597481MaRDI QIDQ3636855
Doron A. Peled, Saddek Bensalem, Ananda Basu, Joseph Sifakis
Publication date: 30 June 2009
Published in: Computer Aided Verification (Search for Journal in Brave)
Full work available at URL: https://infoscience.epfl.ch/record/185002/files/CAV-09-PriorityScheduling.pdf
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (4)
Priority scheduling of distributed systems based on model checking ⋮ Achieving distributed control through model checking ⋮ Building distributed controllers for systems with priorities ⋮ Distributed Implementation of Systems with Multiparty Interactions and Priorities
This page was built for publication: Priority Scheduling of Distributed Systems Based on Model Checking