gptkbp:instanceOf
|
process calculus
|
gptkbp:abbreviation
|
gptkb:CSP
|
gptkbp:creator
|
gptkb:Tony_Hoare
|
gptkbp:describes
|
interactions between concurrent processes
|
gptkbp:field
|
computer science
concurrency theory
|
gptkbp:fullName
|
gptkb:Communicating_Sequential_Processes
|
gptkbp:hasConcept
|
gptkb:clubhouse
gptkb:event
choice
recursion
synchronization
Process
parallel composition
hiding
divergence semantics
failures semantics
trace semantics
|
gptkbp:hasFeature
|
gptkb:ISO/IEC_13235-1:1998
|
gptkbp:hasSyntax
|
algebraic notation for processes
|
https://www.w3.org/2000/01/rdf-schema#label
|
CSP (process calculus)
|
gptkbp:implementedIn
|
gptkb:CSPM_(machine-readable_CSP)
gptkb:CSP_for_C++
gptkb:JCSP_(Java_library)
gptkb:PyCSP_(Python_library)
Go channels
occam
|
gptkbp:influenced
|
gptkb:Rust_programming_language
gptkb:Pony_programming_language
gptkb:Erlang_programming_language
gptkb:occam_programming_language
gptkb:Go_programming_language
gptkb:Limbo_programming_language
|
gptkbp:introducedIn
|
1978
|
gptkbp:notablePublication
|
gptkb:Communicating_Sequential_Processes_(book)
1985
|
gptkbp:relatedTo
|
gptkb:Petri_nets
gptkb:Actor_model
gptkb:Calculus_of_Communicating_Systems
gptkb:pi-calculus
|
gptkbp:usedFor
|
formal verification
modeling concurrent systems
deadlock analysis
safety and liveness properties
|
gptkbp:uses
|
gptkb:FDR_model_checker
gptkb:PAT_model_checker
gptkb:ProB
|
gptkbp:bfsParent
|
gptkb:C.A.R._Hoare
|
gptkbp:bfsLayer
|
7
|