Login / Signup

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.

Kåre J. KristoffersenFrançois LaroussinieKim Guldstrand LarsenPaul PetterssonWang Yi
Published in: TAPSOFT (1997)
Keyphrases
  • mutual exclusion
  • real time
  • long distance
  • temporal planning
  • formal proof
  • vision system
  • control system
  • low cost
  • information systems
  • dynamic programming
  • lightweight