Sign in

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

Paul C. AttieHana 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