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]
Abstract is missing.