Deadlocking States in Context-Free Process Algebra

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Autoři

SRBA Jiří

Rok publikování 1998
Druh Článek ve sborníku
Konference Proceedings of the The 23rd International Symposium on Mathematical Foundations of Computer Science (MFCS'98)
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
www http://www.fi.muni.cz/~srba/publ.html
Obor Teorie informace
Klíčová slova BPA; process; deadlock; bisimulation
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.