typed Pi-calculus

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:basedOn gptkb:Pi-calculus
gptkbp:hasApplication modeling communication protocols
security protocol analysis
gptkbp:hasFeature type system
https://www.w3.org/2000/01/rdf-schema#label typed Pi-calculus
gptkbp:introducedIn 1990s
gptkbp:notableContributor gptkb:Robin_Milner
gptkb:Kohei_Honda
Davide Sangiorgi
gptkbp:relatedTo gptkb:lambda_calculus
session types
mobile processes
gptkbp:usedIn formal verification
programming language theory
concurrent computation
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7