Sign in
Effect-dependent transformations for concurrent programs.
Nick Benton
Martin Hofmann
Vivek Nigam
Published in:
Sci. Comput. Program. (2018)
Keyphrases
</>
concurrent programs
database
process algebra
concurrent processes