An Expressive Framework for Verifying Deadlock Freedom.

Duy-Khanh Le Wei-Ngan Chin Yong Meng Teo

Published in: ATVA (2013)

Keyphrases

main contribution
theoretical framework
artificial intelligence
special case
information systems
digital libraries
relational databases