• ARock

  • Referenced in 19 articles [sw16800]
  • update x in an asynchronous parallel fashion. Asynchrony is crucial to parallel computing since...
  • Polychrony

  • Referenced in 12 articles [sw12302]
  • specification to implementation and from synchrony to asynchrony...
  • PSync

  • Referenced in 4 articles [sw17450]
  • ones with an adversarial environment that simulates asynchrony and faults by dropping messages. We define...
  • AADL

  • Referenced in 4 articles [sw20835]
  • Designing such systems is hard due to asynchrony, skews of the local clocks, and network...
  • 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...
  • JDQR

  • Referenced in 470 articles [sw04021]
  • From this page you can get a Matlab...
  • CADP

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

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

  • Referenced in 557 articles [sw07031]
  • Matlab® implementation of the JDQZ algorithm. The JDQZ...
  • Facile

  • Referenced in 22 articles [sw08679]
  • Facile: A symmetric integration of concurrent and functional...
  • Pict

  • Referenced in 70 articles [sw08929]
  • Pict is a language in the ML tradition...
  • FDR2

  • Referenced in 58 articles [sw11466]
  • FDR2 is a refinement checker for establishing properties...
  • PAT

  • Referenced in 30 articles [sw13258]
  • PAT is a self-contained framework for to...
  • ProBE

  • Referenced in 6 articles [sw16238]
  • ProBE is an animator for CSP processes allowing...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • caesar - compilation & verification of LOTOS specifications. caesar [Gar89b...