Coarser Equivalences for Causal Concurrency.
Azadeh FarzanUmang MathurPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- concurrency control
- causal models
- causal relationships
- scale space
- causal reasoning
- relational algebra
- connected components
- coarse to fine
- causal relations
- causal networks
- causal inference
- bayesian networks
- database systems
- causal independence
- causal theories
- dynamic allocation
- concurrent execution
- causal inferences
- data sets
- high level programming languages
- nested transactions
- causal discovery
- object oriented languages
- transaction processing
- causal knowledge
- directed acyclic graph
- probabilistic model
- case study
- concurrent programming
- finer level
- learning algorithm
- genetic algorithm