A formal approach to the specification and the behavior validation of real-time systems based on rewriting logic Ammar AttouiMichel Schneider OriginalPaper Pages: 5 - 22
Algorithms and optimality of scheduling soft aperiodic requests in fixed-priority preemptive systems Too-Seng TiaJane W. -S. LiuMallikarjun Shankar OriginalPaper Pages: 23 - 43
Causal delivery protocols in real-time systems: A generic model Paulo VerĂssimo OriginalPaper Pages: 45 - 73
Real-time communication in FDDI networks Nicholas MalcolmSanjay KamatWei Zhao OriginalPaper Pages: 75 - 107