Statements (60)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
process calculus
|
| gptkbp:field |
gptkb:mathematics
theoretical computer science |
| gptkbp:focusesOn |
concurrent computation
mobile systems |
| gptkbp:hasConcept |
gptkb:applied_pi-calculus
gptkb:asynchronous_pi-calculus gptkb:higher-order_pi-calculus gptkb:polyadic_pi-calculus gptkb:synchronous_pi-calculus mobility denotational semantics concurrency type systems synchronization replication operational semantics session types process algebra alpha-conversion barbed bisimulation bisimulation bound name channel mobility early semantics free name guarded choice input prefix labelled transition system late semantics name passing nil process open bisimulation output prefix parallel composition process equivalence reduction semantics restriction scope extrusion spatial logic strong bisimulation structural congruence summation weak bisimulation |
| https://www.w3.org/2000/01/rdf-schema#label |
pi-calculus
|
| gptkbp:influenced |
gptkb:ambient_calculus
gptkb:join-calculus gptkb:mobile_ambients |
| gptkbp:influencedBy |
gptkb:lambda_calculus
gptkb:Calculus_of_Communicating_Systems |
| gptkbp:introducedIn |
1992
|
| gptkbp:inventedBy |
gptkb:Robin_Milner
|
| gptkbp:notation |
formal mathematical notation
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
gptkb:CCS actor model |
| gptkbp:usedFor |
modeling communication protocols
modeling concurrent systems |
| gptkbp:bfsParent |
gptkb:Robin_Milner
|
| gptkbp:bfsLayer |
5
|