Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.

Paul C. Attie Hana Chockler

Published in: VMCAI (2005)

Keyphrases

concurrent programs
sufficient conditions
process algebra
petri net
formal specification
databases
artificial intelligence
case study
user interface
knowledge acquisition
model checking
concurrent processes