Login / Signup

Specification and Implementation of Mutual Exclusion.

Per Brinch HansenJørgen Staunstrup
Published in: IEEE Trans. Software Eng. (1978)
Keyphrases
  • mutual exclusion
  • long distance
  • temporal planning
  • high level
  • efficient implementation
  • specification language
  • data sets
  • information systems
  • e learning
  • information retrieval systems
  • formal methods