Parallel complexity analysis with temporal session types.
Ankush DasJan HoffmannFrank PfenningPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- complexity analysis
- theoretical analysis
- temporal data
- temporal consistency
- computational complexity
- spatio temporal
- lower bound
- first order logic
- temporal relationships
- temporal information
- multiple types
- parallel processing
- computer architecture
- massively parallel
- temporal patterns
- temporal reasoning
- social networks
- spatial and temporal
- decision trees