Sign in

Quantitative Synthesis for Concurrent Programs.

Pavol CernýKrishnendu ChatterjeeThomas A. HenzingerArjun RadhakrishnaRohit Singh
Published in: CAV (2011)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • artificial intelligence
  • web applications
  • real time
  • case study
  • model checking
  • concurrent processes