Dataset - CKAN

Types for Deadlock-Free Higher-Order Concurrent Programs

Deadlock freedom is for concurrent programs what progress is for sequential ones: it indicates the absence of stable (i.e., irreducible) states in which some pending...
- HTML

You can also access this registry using the API (see API Docs).