Characterizing Non-Zenoness on Real-Time Processes

• Authors: STŘÍBRNÁ Jitka; LEE Insup
• Year of publication: 2001
• Type: Monograph
• MU Faculty or unit: Faculty of Informatics
• Description: Characterizing Non-Zenoness on Real-Time Processes

Related projects

• Algorithms and tools for practical verification of concurrent systems.
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing