Priority Ceiling Protocol in Ada.

Kwok-bun Yue Sadegh Davari Ted Leibfried

Published in: TRI-Ada (1996)

Keyphrases

lightweight
coloured petri nets
formal analysis
communication protocol
tcp ip
preemptive scheduling
information systems
network protocols
priority scheduling