Imperative Process Algebra and Models of Parallel Computation.

Cornelis A. Middelburg

Published in: Theory Comput. Syst. (2024)

Keyphrases

parallel computation
parallel algorithm
probabilistic model
parallel implementation
formal specification
process algebra
artificial intelligence
case study
database systems
parallel processing
parallel computing