A Resource-Based Prioritized Bisimulation for Real-Time Systems

• 1 August 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 113  (1) , 102-142
• https://doi.org/10.1006/inco.1994.1066

Abstract

Keywords

• BEHAVIORS
• BISIMULATION
• PREEMPTION
• TREATMENT
• CCSR
• MODEL
• ALGEBRAIC
• TIME SYSTEMS
• RESOURCE BASED