Results 1 to 15 of 15
Sort by:

  • DLC
  • Referenced in 2 articles [sw19394]
  • deterministic processes which interact by multiway rendezvous, a powerful interaction primitive inherited from process algebras ... network. In order to handle multiway rendezvous between distant processes, the runtime is based...

  • D-Finder
  • Referenced in 17 articles [sw00200]
  • D-Finder tool implements a compositional method for...

  • MCGP
  • Referenced in 15 articles [sw00562]
  • We present MCGP -- a tool for generating and...

  • SCADE
  • Referenced in 20 articles [sw00829]
  • SCADE Suite® is a product line of the...

  • TIMES
  • Referenced in 26 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...

  • M-TREE
  • Referenced in 14 articles [sw02565]
  • Secure processor architectures enable new sets of applications...

  • LOTOS
  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...

  • SPIN
  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...

  • CADP
  • Referenced in 133 articles [sw04993]
  • CADP (”Construction and Analysis of Distributed Processes”, formerly...

  • Reo
  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...

  • Exp.Open
  • Referenced in 10 articles [sw07702]
  • Exp.Open 2.0: A Flexible Tool Integrating Partial Order...

  • UNITY
  • Referenced in 185 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...

  • XTL
  • Referenced in 4 articles [sw21954]
  • XTL (eXecutable Temporal Language) is a functional programming...