Duration Specifications for Shared Processors.

Zhou Chaochen Michael R. Hansen Anders P. Ravn Hans Rischel

Published in: FTRTFT (1992)

Keyphrases

parallel algorithm
high level
parallel processing
formal specification
delay insensitive
databases
case study
specification language
operational semantics
parallel execution
single processor
instruction set
data sets
information retrieval
operating system