Artem Davydov, Aleksandr Larionov, Nadezhda V. Nagul. The construction of controllable sublanguage of specification for DES via PCFs based inference. In Igor Bychkov, Andrei Tchernykh, Alexander G. Feoktistov, editors, Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020. Volume 2638 of CEUR Workshop Proceedings, pages 68-78, CEUR-WS.org, 2020. [doi]
@inproceedings{DavydovLN20a,
title = {The construction of controllable sublanguage of specification for DES via PCFs based inference},
author = {Artem Davydov and Aleksandr Larionov and Nadezhda V. Nagul},
year = {2020},
url = {http://ceur-ws.org/Vol-2638/paper6.pdf},
researchr = {https://researchr.org/publication/DavydovLN20a},
cites = {0},
citedby = {0},
pages = {68-78},
booktitle = {Proceedings of the 2nd International Workshop on Information, Computation, and Control Systems for Distributed Environments, ICCS-DE 2020, Irkutsk, Russia, July 6-7, 2020},
editor = {Igor Bychkov and Andrei Tchernykh and Alexander G. Feoktistov},
volume = {2638},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}