Login / Signup

Reachability Testing of Concurrent Programs.

Yu LeiRichard H. Carver
Published in: IEEE Trans. Software Eng. (2006)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent programming
  • concurrent processes
  • formal specification
  • state space
  • web applications
  • data model
  • business process
  • reverse engineering
  • web services composition