Communicating Sequential Processes

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:formal_semantics gptkb: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 gptkb:Process deadlock trace refinement
gptkbp:hasFeature	gptkb:ISO/IEC_17960:2015
gptkbp:hasSemantics	denotational semantics operational semantics
gptkbp:hasSyntax	algebraic notation
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
https://www.w3.org/2000/01/rdf-schema#label	Communicating Sequential Processes