Results 1 to 3 of 3
Sort by:

  • 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...