Sign in

Summarizing procedures in concurrent programs.

Shaz QadeerSriram K. RajamaniJakob Rehof
Published in: POPL (2004)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent programming
  • database
  • databases
  • web services
  • concurrent systems
  • natural language