Bisimilarity on Basic Parallel Processes
Autor: | Petr Jancar |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Theoretical Computer Science. 903:26-38 |
ISSN: | 0304-3975 |
DOI: | 10.1016/j.tcs.2021.11.027 |
Databáze: | OpenAIRE |
Externí odkaz: |
Autor: | Petr Jancar |
---|---|
Rok vydání: | 2022 |
Předmět: | |
Zdroj: | Theoretical Computer Science. 903:26-38 |
ISSN: | 0304-3975 |
DOI: | 10.1016/j.tcs.2021.11.027 |
Databáze: | OpenAIRE |
Externí odkaz: |