Bisimilarity on Basic Parallel Processes

Autor:	Jančar, Petr
Zdroj:	In Theoretical Computer Science 8 February 2022 903:26-38
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect