Login / Signup

Simulation and Synthesis of CSP-based Interprocess Communication.

Preston A. JacksonBrad L. HutchingsJustin L. Tripp
Published in: FCCM (2003)
Keyphrases
  • interprocess communication
  • constraint satisfaction problems
  • search space
  • operating system
  • similarity measure
  • index structure