Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. In Lionel Seinturier, Tomas Bures, John D. McGregor, editors, QoSA'14, Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30 - July 04, 2014. pages 139-144, ACM, 2014. [doi]
Abstract is missing.