Georgy Lukyanov, Andrey Mokhov. Concurrency Oracles for Free. In Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona, editors, Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. Volume 2115 of CEUR Workshop Proceedings, pages 112-127, CEUR-WS.org, 2018. [doi]
@inproceedings{LukyanovM18,
title = {Concurrency Oracles for Free},
author = {Georgy Lukyanov and Andrey Mokhov},
year = {2018},
url = {http://ceur-ws.org/Vol-2115/ATAED2018-112-127.pdf},
researchr = {https://researchr.org/publication/LukyanovM18},
cites = {0},
citedby = {0},
pages = {112-127},
booktitle = {Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018},
editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona},
volume = {2115},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}