probabilistic Pi-calculus

GPTKB entity

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematics
process calculus
gptkbp:extendsTo gptkb:Pi-calculus
gptkbp:feature mobility
communication channels
probabilistic choice
gptkbp:field theoretical computer science
concurrency theory
gptkbp:hasApplication formal verification
protocol analysis
https://www.w3.org/2000/01/rdf-schema#label probabilistic Pi-calculus
gptkbp:relatedTo gptkb:Pi-calculus
gptkbp:studiedBy computer scientists
gptkbp:usedFor modeling concurrent systems with probabilistic behavior
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7