Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi. Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. In Gul A. Agha, Rafael H. Bordini, Assaf Marron, Alessandro Ricci, editors, Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA. pages 23-34, ACM, 2012. [doi]
Abstract is missing.