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