Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. PCF-based formalization of the parallel composition of automata. In Igor Bychkov, Andrei Tchernykh, editors, Proceedings of the 1st International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2019, Irkutsk, Russia, July 8-9, 2019. Volume 2430 of CEUR Workshop Proceedings, pages 29-41, CEUR-WS.org, 2019. [doi]
@inproceedings{DavydovLN19,
title = {PCF-based formalization of the parallel composition of automata},
author = {Artem Davydov and Aleksandr Larionov and Nadezhda V. Nagul},
year = {2019},
url = {http://ceur-ws.org/Vol-2430/paper3.pdf},
researchr = {https://researchr.org/publication/DavydovLN19},
cites = {0},
citedby = {0},
pages = {29-41},
booktitle = {Proceedings of the 1st International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2019, Irkutsk, Russia, July 8-9, 2019},
editor = {Igor Bychkov and Andrei Tchernykh},
volume = {2430},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}