On the Axiomatisability of Parallel Composition.

Luca Aceto Valentina Castiglioni Anna Ingólfsdóttir Bas Luttik Mathias Ruggaard Pedersen

Published in: CoRR (2021)

Keyphrases

parallel processing
distributed processing
real time
data sets
neural network
parallel programming
databases
information retrieval
case study
video sequences
digital libraries
hidden markov models
shared memory
parallel implementation
web service composition
parallel hardware