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

• Autoři: GRUSKA Jozef; GUESSARIAN I.
• Rok publikování: 1994
• Druh: Kapitola v knize
• Fakulta / Pracoviště MU: Fakulta informatiky

Související projekty

• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů