Login / Signup
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
Luca Aceto
Valentina Castiglioni
Wan J. Fokkink
Anna Ingólfsdóttir
Bas Luttik
Published in:
ACM Trans. Comput. Log. (2022)
Keyphrases
</>
parallel processing
unit interval
parallel implementation
multi valued
database
real time
databases
neural network
case study
binary images
query optimization
functional dependencies
morphological operators
web service composition