Ilham W. Kurnia, Arnd Poetzsch-Heffter. A relational trace logic for simple hierarchical actor-based component systems. 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 47-58, ACM, 2012. [doi]
@inproceedings{KurniaP12-0,
title = {A relational trace logic for simple hierarchical actor-based component systems},
author = {Ilham W. Kurnia and Arnd Poetzsch-Heffter},
year = {2012},
doi = {10.1145/2414639.2414647},
url = {http://doi.acm.org/10.1145/2414639.2414647},
researchr = {https://researchr.org/publication/KurniaP12-0},
cites = {0},
citedby = {0},
pages = {47-58},
booktitle = {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},
editor = {Gul A. Agha and Rafael H. Bordini and Assaf Marron and Alessandro Ricci},
publisher = {ACM},
isbn = {978-1-4503-1630-9},
}