Deadlocking States in Context-Free Process Algebra

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů