• CSP-prover

  • Referenced in 17 articles [sw11465]
  • easily be extended to the failure-divergence model N and the various infinite traces models...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • rCOS: Theory and tool for component-based model...
  • COWS

  • Referenced in 51 articles [sw06955]
  • A calculus for orchestration of web services. We...