Effect-dependent transformations for concurrent programs.

Nick Benton Martin Hofmann Vivek Nigam

Published in: PPDP (2016)

Keyphrases

concurrent programs
databases
artificial intelligence
relational databases
real time
communication networks
process algebra
concurrent programming