Login / Signup

Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.

Brijesh DongolArjan J. Mooij
Published in: MPC (2006)
Keyphrases
  • concurrent programs
  • databases
  • information systems
  • artificial intelligence
  • process algebra
  • general purpose
  • concurrent programming