A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems

Authors:
Samson Abramsky;Simon J. Gay;Rajagopal Nagarajan
Affiliations:
-;-;-
Venue:
TACS '97 Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software
Year:
1997

Types for Safe Locking

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Synchronous and Bidirectional Component Interfaces

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Types for Active Objects with Static Deadlock Prevention

Fundamenta Informaticae
Synchronization as a Special Case of Access Control

Electronic Notes in Theoretical Computer Science (ENTCS)
Types for Active Objects with Static Deadlock Prevention

Fundamenta Informaticae

Hi-index	0.00