Communicating Sequential Processes (CSP)

GPTKB entity

Predicate	Object
gptkbp:instanceOf	formal semantics process calculus
gptkbp:describedBy	gptkb:Communicating_Sequential_Processes_(book)
gptkbp:designedBy	gptkb:Tony_Hoare
gptkbp:focusesOn	message passing synchronization concurrent systems
gptkbp:hasApplication	distributed systems hardware design software engineering real-time systems security analysis protocol verification safety-critical systems
gptkbp:hasConcept	events channels synchronization deadlock process algebra divergence semantics failures semantics trace semantics
gptkbp:hasSyntax	algebraic notation parallel composition choice operator hiding operator process expressions renaming operator sequential composition
https://www.w3.org/2000/01/rdf-schema#label	Communicating Sequential Processes (CSP)
gptkbp:implementedIn	gptkb:ProB gptkb:CSPM gptkb:FDR_(Failures-Divergence_Refinement) gptkb:PAT_(Process_Analysis_Toolkit)
gptkbp:influenced	gptkb:Rust_programming_language gptkb:Erlang_programming_language gptkb:occam_programming_language gptkb:Go_programming_language gptkb:Limbo_programming_language
gptkbp:introducedIn	1978
gptkbp:publishedIn	gptkb:Communications_of_the_ACM 1985
gptkbp:relatedTo	gptkb:Petri_nets gptkb:Actor_model gptkb:pi-calculus
gptkbp:usedFor	formal verification modeling concurrent systems
gptkbp:bfsParent	gptkb:Bill_Roscoe gptkb:Calculus_of_Communicating_Systems_(CCS)
gptkbp:bfsLayer	6