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

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...

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

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 10 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 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...

Petruchio
 Referenced in 15 articles
[sw04394]
 A theory of structural stationarity in the π...