Login / Signup
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.
Edwin C. Brady
Kevin 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