Communicating Sequential Processes

URI: https://gptkb.org/entity/Communicating_Sequential_Processes
GPTKB entity
Statements (43)
Predicate Object
gptkbp:instanceOf formal semantics
process calculus
gptkbp:abbreviation gptkb:CSP
gptkbp:author gptkb:Tony_Hoare
gptkbp:book gptkb:Communicating_Sequential_Processes_(book)
gptkbp:category gptkb:Theoretical_computer_science
Concurrency
Formal methods
gptkbp:creator gptkb:Tony_Hoare
gptkbp:describes concurrent systems
gptkbp:focusesOn message passing
synchronization
gptkbp:hasConcept gptkb:clubhouse
gptkb:event
deadlock
Process
trace
refinement
gptkbp:hasFeature gptkb:ISO/IEC_17960:2015
gptkbp:hasSemantics denotational semantics
operational semantics
gptkbp:hasSyntax algebraic notation
https://www.w3.org/2000/01/rdf-schema#label Communicating Sequential Processes
gptkbp:influenced gptkb:π-calculus
gptkb:Erlang_programming_language
gptkb:occam_programming_language
gptkb:Go_programming_language
gptkbp:publicationYear 1978
1985
gptkbp:publishedIn gptkb:Communications_of_the_ACM
gptkbp:relatedTo gptkb:Petri_nets
gptkb:Actor_model
gptkb:Pi-calculus
gptkbp:usedFor formal verification
model checking
gptkbp:usedIn distributed systems
concurrent programming
gptkbp:uses gptkb:FDR_model_checker
gptkb:PAT_model_checker
gptkb:ProB
gptkbp:bfsParent gptkb:Tony_Hoare
gptkb:Sir_Tony_Hoare
gptkbp:bfsLayer 5