- Tytuł:
- Synchronizability of Communicating Finite State Machines is not Decidable
- Autorzy:
- Temat:
-
computer science -distributed ,parallel , andcluster computing computer science - formal languages and automata theory
Logic
BC1-199
Electronic computers.Computer science
QA75.5-76.95 - Źródło:
-
Logical Methods in
Computer Science , Vol Volume 19, Issue 4 (2023) - Opis pliku:
- electronic resource
- Relacje:
- https://lmcs.episciences.org/4764/pdf; https://doaj.org/toc/1860-5974
- Dostęp URL:
- https://doaj.org/article/376cf254b0e84f2f864024ad5e6a3a58  Link otwiera się w nowym oknie
Czasopismo naukowe