Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani. Event-Based Analysis of Timed Rebeca Models using SQL. In Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci, Carlos Varela, editors, Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014. pages 43-54, ACM, 2014. [doi]
Abstract is missing.