Summarizing procedures in concurrent programs.

Shaz Qadeer Sriram K. Rajamani Jakob Rehof

Published in: POPL (2004)

Keyphrases

concurrent programs
process algebra
concurrent programming
database
databases
web services
concurrent systems
natural language