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

Author(s):  
Samson Abramsky ◽  
Simon Gay ◽  
Rajagopal Nagarajan



1995 ◽  
Vol 17 (2) ◽  
pp. 196-214 ◽  
Author(s):  
Eytan Agmon
Keyword(s):  








Sign in / Sign up

Export Citation Format

Share Document