A datalog-based computational model for coordination-free, data-parallel systems (Q4559834)
From MaRDI portal
scientific article; zbMATH DE number 6988676
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A datalog-based computational model for coordination-free, data-parallel systems |
scientific article; zbMATH DE number 6988676 |
Statements
A datalog-based computational model for coordination-free, data-parallel systems (English)
0 references
4 December 2018
0 references
declarative networking
0 references
Datalog
0 references
relational transducer
0 references
CALM conjecture
0 references
bulk synchronous parallel systems
0 references
