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

Samson Abramsky Simon J. Gay Rajagopal Nagarajan

Published in: TACS (1997)

Keyphrases

complex systems
machine learning
building blocks
database
database systems
computing systems
databases
real world
information retrieval
management system
medical images
intelligent systems
systems require