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
|