polyadic Pi-calculus

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:allows communication of tuples
gptkbp:developedBy gptkb:Robin_Milner
gptkbp:formalismFor mobile systems
gptkbp:generalizes monadic Pi-calculus
gptkbp:hasApplication modeling distributed systems
gptkbp:hasFeature multiple data items per communication
https://www.w3.org/2000/01/rdf-schema#label polyadic Pi-calculus
gptkbp:publishedIn 1992
gptkbp:relatedTo gptkb:Pi-calculus
gptkbp:usedIn concurrent computation
gptkbp:bfsParent gptkb:Pi-calculus
gptkbp:bfsLayer 7