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