Schedulability Analysis for Distributed Systems Using Network of Action Automata and Environment Automata.

Shenglin Gui, Lei Luo, Miao Yu, Jianhua Xu, Yun Li

Browse the full ISPA paper archive.