Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa Quasi-static scheduling of communicating tasks. (English) Zbl 1209.68060 Inf. Comput. 208, No. 10, 1154-1168 (2010). MSC: 68M20 PDFBibTeX XMLCite \textit{P. Darondeau} et al., Inf. Comput. 208, No. 10, 1154--1168 (2010; Zbl 1209.68060) Full Text: DOI HAL
Darondeau, Philippe; Genest, Blaise; Thiagarajan, P. S.; Yang, Shaofa Quasi-static scheduling of communicating tasks. (English) Zbl 1160.68463 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 310-324 (2008). MSC: 68Q85 68M20 PDFBibTeX XMLCite \textit{P. Darondeau} et al., Lect. Notes Comput. Sci. 5201, 310--324 (2008; Zbl 1160.68463) Full Text: DOI HAL