• Pict

  • Referenced in 71 articles [sw08929]
  • Milner, Parrow, and Walker’s pi-calculus - has been used as a theoretical foundation...
  • 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...
  • YAPA

  • Referenced in 18 articles [sw02739]
  • framework of the applied pi-calculus, as in similar languages based on equational logics, knowledge...
  • 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 10 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 1763 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 604 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 20 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 25 articles [sw02065]
  • JoCaml: A language for concurrent distributed and mobile...
  • AVISPA

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