A Type-theoretic Approach to Deadlock-freedom of Asynchronous Systems (1997)

by Samson Abramsky , Simon Gay , Rajagopal Nagarajan
Venue:In Proc. TACS
Citations:9 - 1 self