higher-order Pi-calculus

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:allows transmission of processes as messages
gptkbp:application formal verification
modeling mobile systems
gptkbp:basedOn gptkb:Pi-calculus
gptkbp:field theoretical computer science
concurrency theory
https://www.w3.org/2000/01/rdf-schema#label higher-order Pi-calculus
gptkbp:introduced gptkb:Kohei_Honda
Makoto Kubo
Vasco Vasconcelos
gptkbp:introducedIn 1998
gptkbp:notableIdea higher-order communication
gptkbp:notablePublication "Language Primitives and Type Discipline for Structured Communication-Based Programming"
gptkbp:relatedTo gptkb:lambda_calculus
first-order Pi-calculus
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7