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

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

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

TyPiCal
 Referenced in 8 articles
[sw23207]
 typebased static analyzer for the PiCalculus. TyPiCal is a typebased static analyzer ... picalculus. The current version of TyPiCal provides the following program analyses or program transformations ... Uselesscode elimination (UCE) optimizes a picalculus process by removing subprocesses that...

Akiss
 Referenced in 12 articles
[sw20605]
 protocols by processes in the applied picalculus, 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 picalculus. To the best of our knowledge this...

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

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

ACVisualizer
 Referenced in 1 article
[sw00016]
 called APicalculus (an extension to Picalculus) 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 APicalculus as well as agents ... easily be adapted to work with Picalculus itself...

apims
 Referenced in 1 article
[sw27565]
 interpretor and typechecker for the Asynchronous PIcalculus 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 π...