Login / Signup

Reasoning about Fair Concurrent Programs

Costas CourcoubetisMoshe Y. VardiPierre Wolper
Published in: STOC (1986)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • web applications
  • model checking
  • databases
  • concurrent processes