Login / Signup

Tracing the executions of concurrent programs.

Elsa L. GunterDoron A. Peled
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • concurrent processes
  • concurrent systems
  • programming language
  • web applications
  • databases
  • artificial intelligence
  • model checking
  • asynchronous circuits