Zde se nacházíte:
Informace o publikaci
Deciding Regularity in Process Algebras
Autoři | |
---|---|
Rok publikování | 1995 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | BRICS Report Series |
Fakulta / Pracoviště MU | |
Citace | |
Obor | Počítačový hardware a software |
Klíčová slova | process algebras; regularity; behavioural equivalences |
Související projekty: |