Login / Signup

High-Level Language Debugging for Concurrent Programs.

Germán S. GoldszmidtShaula YeminiShmuel Katz
Published in: ACM Trans. Comput. Syst. (1990)
Keyphrases
  • high level language
  • concurrent programs
  • concurrent programming
  • process algebra
  • web applications
  • databases
  • model checking
  • formal specification