Characterizing Non-Zenoness on Real-Time Processes

• Autoři: STŘÍBRNÁ Jitka; LEE Insup
• Rok publikování: 2001
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Characterizing Non-Zenoness on Real-Time Processes

Související projekty

• Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů