Login / Signup

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.

Edwin C. BradyKevin Hammond
Published in: Fundam. Informaticae (2010)
Keyphrases
  • resource usage
  • resource allocation
  • real time
  • resource management
  • resource consumption
  • concurrency control protocols
  • artificial intelligence
  • distributed databases
  • fault tolerant
  • fault tolerance
  • resource sharing