π-calculus

URI: https://gptkb.org/entity/π-calculus
GPTKB entity
Statements (34)
Predicate Object
gptkbp:instanceOf gptkb:process_calculus
gptkbp:application formal verification
modeling communication protocols
modeling distributed systems
gptkbp:describes concurrent computation
mobile systems
gptkbp:field gptkb:theoretical_computer_science
gptkb:mathematics
gptkbp:hasConcept gptkb:communication
mobility
concurrency
name passing
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
https://www.w3.org/2000/01/rdf-schema#label π-calculus