C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
On the Axiomatisability of Parallel Composition.
Luca Aceto
Valentina Castiglioni
Anna Ingólfsdóttir
Bas Luttik
Mathias Ruggaard Pedersen
Published in:
Log. Methods Comput. Sci. (2022)
Keyphrases
</>
parallel processing
shared memory
distributed memory
data sets
information systems
image segmentation
three dimensional
massively parallel
depth first search
parallel programming
distributed processing
parallel execution
web services composition
parallel hardware