Priority inheritance and message passing communication: a formal treatment

Authors:
A. Burns;A. J. Wellings
Affiliations:
-;-
Venue:
Real-Time Systems
Year:
1991

Citing 0
Cited 3

A formal definition of priority in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)
Real-Time Schedulability Tests for Preemptive Multitasking

WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
A Process Algebraic Approach to the Schedulability Analysisof Real-Time Systems

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract