Prohlížení dle autora "Mayr, Richard"
-
Deciding bisimulation-like equivalences with finite-state processes
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Theoretical Computer Science. 2001, vol. 258, issues 1-2, p. 409-433.) -
Deciding bisimulation-like equivalences with finite-state processes
Jančar, Petr; Kučera, Antonín; Mayr, Richard (Automata, Languages and Programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211.)