External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

PCF-based formalization of the parallel composition of automata

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]

Authors

Artem Davydov

This author has not been identified. Look up 'Artem Davydov' in Google

Aleksandr Larionov

This author has not been identified. Look up 'Aleksandr Larionov' in Google

Nadezhda V. Nagul

This author has not been identified. Look up 'Nadezhda V. Nagul' in Google
runs on