Login / Signup

Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.

Pascal FenkamHarald C. GallMehdi Jazayeri
Published in: FME (2003)
Keyphrases
  • deadlock free
  • concurrency control
  • routing algorithm
  • transaction processing
  • decision making
  • shortest path