• DLC

  • Referenced in 1 article [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 14 articles [sw00200]
  • D-Finder tool implements a compositional method for...
  • MCGP

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

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

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

  • Referenced in 13 articles [sw02565]
  • Secure processor architectures enable new sets of applications...
  • LOTOS

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

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

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

  • Referenced in 81 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 173 articles [sw13461]
  • Simulation model development and analysis in UNITY. We...
  • XTL

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