Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.

Luca Padovani, Tzu-Chun Chen, Andrea Tosatto

Browse the full Coordination paper archive.