Login / Signup

Timing Analysis of Concurrent Programs.

Robert MittermayrJohann Blieberger
Published in: WCET (2012)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • concurrent processes
  • web applications
  • model checking
  • formal specification