A type-theoretic approach to deadlock-freedom of asynchronous systems

Author(s):  
Samson Abramsky ◽  
Simon Gay ◽  
Rajagopal Nagarajan
Sign in / Sign up

Export Citation Format

Share Document