Coarser Equivalences for Concurrent Program Runs.

Azadeh Farzan Umang Mathur

Published in: CoRR (2022)

Keyphrases

concurrent programs
connected components
database
image sequences
coarse to fine
static analysis
databases
neural network
decision making
website
case study
search algorithm
multi agent systems
image analysis
scale space
programming course