Quasi-static scheduling of communicating tasks
From MaRDI portal
Publication:1959479
DOI10.1016/j.ic.2009.09.005zbMath1209.68060MaRDI QIDQ1959479
Blaise Genest, Shaofa Yang, P. S. Thiagarajan, Philippe Darondeau
Publication date: 7 October 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.09.005
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Testing for unboundedness of fifo channels
- The covering and boundedness problems for vector addition systems
- Parallel program schemata
- Quasi-Static Scheduling of Communicating Tasks
- On Communicating Finite-State Machines
- Tools and Algorithms for the Construction and Analysis of Systems
- Lectures on Concurrency and Petri Nets