Imperative process algebra and models of parallel computation.

Cornelis A. Middelburg

Published in: CoRR (2022)

Keyphrases

parallel computation
process algebra
parallel algorithm
web services composition
probabilistic model
data management
parallel implementation
artificial intelligence
building blocks
model checking
concurrent programs