A type-theoretic approach to deadlock-freedom of asynchronous systems (1997)

by Samson Abramsky, Simon J Gay, Rajagopal Nagarajan
Venue:In Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software (TACS