Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.
Luca AcetoElli AnastasiadiValentina CastiglioniAnna IngólfsdóttirPublished in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Keyphrases
- constraint satisfaction problems
- parallel processing
- parallel computation
- neural network
- search algorithm
- decomposition methods
- constraint satisfaction
- parallel computing
- artificial intelligence
- parallel implementation
- arc consistency
- constraint programming
- finite number
- constraint propagation
- massively parallel
- web service composition
- parallel algorithm
- parallel programming
- special case
- tree decomposition
- multi core processors
- web services composition
- parallel hardware