Specifying and Verifying a Real-Time Priority Queue with Modal Algebra.

Victor Yodaiken Krithi Ramamritham

Published in: RTSS (1990)

Keyphrases

priority queue
real time
data structure
low cost
query language
databases
control system
high speed
markov chain
model checking
modal logic
database
data model
vision system
quality of service
data acquisition
service times