-
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...
-
Petruchio
- Referenced in 15 articles
[sw04394]
- A theory of structural stationarity in the π...