|
gptkbp:instanceOf
|
process calculus
|
|
gptkbp:application
|
formal verification
modeling communication protocols
modeling distributed systems
|
|
gptkbp:describes
|
concurrent computation
mobile systems
|
|
gptkbp:field
|
gptkb:mathematics
theoretical computer science
|
|
gptkbp:hasConcept
|
gptkb:communication
mobility
concurrency
name passing
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
π-calculus
|
|
gptkbp:influenced
|
gptkb:ambient_calculus
gptkb:concurrent_constraint_programming
mobile process calculi
|
|
gptkbp:influencedBy
|
gptkb:lambda_calculus
gptkb:Calculus_of_Communicating_Systems
|
|
gptkbp:introducedIn
|
1992
|
|
gptkbp:inventedBy
|
gptkb:Robin_Milner
gptkb:David_Walker
gptkb:Joachim_Parrow
|
|
gptkbp:notablePublication
|
Robin Milner, Joachim Parrow, David Walker: A Calculus of Mobile Processes (1992)
|
|
gptkbp:notation
|
π
process algebra
|
|
gptkbp:relatedTo
|
gptkb:Petri_net
gptkb:ambient_calculus
gptkb:join-calculus
gptkb:CSP
actor model
|
|
gptkbp:bfsParent
|
gptkb:Arthur_John_Robin_Gorell_Milner
gptkb:Calculus_of_Communicating_Systems_(CCS)
gptkb:Communicating_Sequential_Processes
|
|
gptkbp:bfsLayer
|
6
|