Login / Signup

Slicing concurrent programs.

Mangala Gowri NandaS. Ramesh
Published in: ISSTA (2000)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • web applications
  • formal specification
  • concurrent processes
  • model checking
  • web services composition
  • software engineering