Results 1 to 20 of 54
Sort by:

  • Pict
  • Referenced in 71 articles [sw08929]
  • Milner, Parrow, and Walker’s pi-calculus - has been used as a theoretical foundation...

  • YAPA
  • Referenced in 19 articles [sw02739]
  • framework of the applied pi-calculus, as in similar languages based on equational logics, knowledge...

  • Psi-calculi
  • Referenced in 11 articles [sw28573]
  • calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only ... expressive power beyond the applied pi-calculus and the concurrent constraint pi-calculus. We have...

  • TyPiCal
  • Referenced in 8 articles [sw23207]
  • type-based static analyzer for the Pi-Calculus. TyPiCal is a type-based static analyzer ... pi-calculus. The current version of TyPiCal provides the following program analyses or program transformations ... Useless-code elimination (UCE) optimizes a pi-calculus process by removing sub-processes that...

  • Akiss
  • Referenced in 12 articles [sw20605]
  • protocols by processes in the applied pi-calculus, and allowing the user to describe various...

  • BioSPI
  • Referenced in 7 articles [sw11784]
  • biochemical systems specified in the pi calculus. It is based on the Logix system, which ... major features of the pi-calculus. To the best of our knowledge this...

  • PIC2LNT
  • Referenced in 2 articles [sw13368]
  • transformation for model checking an applied pi-calculus. The π-calculus [12] was proposed...

  • CLF
  • Referenced in 2 articles [sw21372]
  • applying them to an asynchronous pi-calculus with correspondence assertions, including its dynamic semantics, safety...

  • ACVisualizer
  • Referenced in 1 article [sw00016]
  • called APi-calculus (an extension to Pi-calculus) provides extensive support for modeling migration, intelligence ... mathematics of the calculus would enhance the use of the calculus and its attraction ... calculus would prove to be a great asset for APi-calculus as well as agents ... easily be adapted to work with Pi-calculus itself...

  • apims
  • Referenced in 1 article [sw27565]
  • interpretor and typechecker for the Asynchronous PI-calculus with Multiparty sessions and Symmetric synchronization...

  • Coq
  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Isabelle
  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

  • TulaFale
  • Referenced in 14 articles [sw00986]
  • TulaFale: a security tool for web services. Web...

  • PiDuce
  • Referenced in 21 articles [sw01418]
  • PiDuce- A project for experimenting web services technologies...

  • SafeDpi
  • Referenced in 13 articles [sw01989]
  • SafeDpi: A language for controlling mobile code safeDpi...

  • JoCaml
  • Referenced in 26 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...

  • AVISPA
  • Referenced in 84 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...