On Specification of Multiprocessor Computing.

Wladyslaw M. Turski

Published in: Acta Informatica (1990)

Keyphrases

high level
scheduling algorithm
databases
real world
knowledge base
website
bayesian networks
multiscale
search algorithm
user interface
response time
formal specification
formal methods
specification language
database machines