Login / Signup
Towards Static Deadlock Resolution in the π-Calculus.
Marco Giunti
António Ravara
Published in:
TGC (2013)
Keyphrases
</>
high resolution
low resolution
consequence finding
conflict detection
high quality
relational databases
super resolution