Causal Dataflow Analysis for Concurrent Programs.

Azadeh Farzan P. Madhusudan

Published in: TACAS (2007)

Keyphrases

distributed systems
database
real time
artificial intelligence
software engineering
general purpose
parallel computing
concurrent programs