A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems

HanĂȘne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie. A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems. Real-Time Systems, 15(3):189-219, 1998.

Abstract

Abstract is missing.