Fix-point semantics of synchronized systems and correctness of their basic transformationsa.

Varování

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

Autoři	GRUSKA Jozef GUESSARIAN I.
Rok publikování	1994
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů