Specification and Automatic Verification of Self-Timed Queues.

David L. Dill Steven M. Nowick Robert F. Sproull

Published in: Formal Methods Syst. Des. (1992)

Keyphrases

low power
waiting times
specification language
formal specification
retrial queue
processor sharing
high level
finite capacity
real time
power consumption
high speed
object oriented
formal methods
neural network
priority queue
service rates
data sets