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. 189-219 1998 15 Real-Time Systems 3 db/journals/rts/rts15.html#Ben-AbdallahCCKLX98