Sign in
Efficient Synthesis for Concurrency by Semantics-Preserving Transformations.
Pavol Cerný
Thomas A. Henzinger
Arjun Radhakrishna
Leonid Ryzhyk
Thorsten Tarrach
Published in:
CAV (2013)
Keyphrases
</>
preserving transformations
database systems
computer vision
image processing
statistical analysis
query processing