Login / Signup

Transfer Principles for Reasoning About Concurrent Programs.

Stephen D. Brookes
Published in: MFPS (2001)
Keyphrases
  • concurrent programs
  • concurrent programming
  • concurrent processes
  • process algebra
  • database
  • high level
  • response time
  • web services composition