Pi-calculus

GPTKB entity

Statements (50)
Predicate Object
gptkbp:instanceOf process calculus
gptkbp:describes processes that can change structure during computation
gptkbp:field gptkb:mathematics
theoretical computer science
gptkbp:fileExtension gptkb:applied_Pi-calculus
gptkb:higher-order_Pi-calculus
gptkb:polyadic_Pi-calculus
gptkb:probabilistic_Pi-calculus
gptkb:timed_Pi-calculus
gptkb:typed_Pi-calculus
gptkbp:focusesOn concurrent computation
mobile systems
gptkbp:hasApplication biological systems modeling
concurrent programming languages
security protocol analysis
gptkbp:hasConcept gptkb:clubhouse
gptkb:communication
gptkb:given_name
mobility
concurrency
synchronization
Process
scope
gptkbp:hasProperty gptkb:Turing_completeness
expressiveness
compositionality
bisimulation equivalence
gptkbp:hasSemantics structural operational semantics
gptkbp:hasSyntax process algebra
https://www.w3.org/2000/01/rdf-schema#label Pi-calculus
gptkbp:influenced gptkb:Applied_Pi-calculus
gptkb:Join-calculus
gptkb:Mobile_Ambients
gptkb:Spi-calculus
gptkbp:influencedBy gptkb:Calculus_of_Communicating_Systems
gptkbp:introducedIn early 1990s
gptkbp:inventedBy gptkb:Robin_Milner
gptkb:David_Walker
gptkb:Joachim_Parrow
gptkbp:publishedIn Robin Milner, Joachim Parrow, David Walker: A Calculus of Mobile Processes (1992)
gptkbp:relatedTo gptkb:lambda_calculus
actor model
gptkbp:supports mobility
name passing
dynamic process creation
gptkbp:usedFor formal verification
protocol analysis
modeling distributed systems
gptkbp:bfsParent gptkb:Communicating_Sequential_Processes
gptkbp:bfsLayer 6