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