CSP (Communicating Sequential Processes)

GPTKB entity

Predicate	Object
gptkbp:instanceOf	formal semantics process calculus
gptkbp:abbreviation	gptkb:CSP
gptkbp:describedBy	gptkb:Communicating_Sequential_Processes_(book)
gptkbp:designedBy	gptkb:Tony_Hoare
gptkbp:field	computer science formal methods theoretical computer science concurrency theory
gptkbp:firstPublished	1978
gptkbp:hasConcept	gptkb:clubhouse recursion synchronization deadlock Process trace parallel composition refinement choice operator hiding operator algebraic laws
gptkbp:hasSemantics	denotational semantics operational semantics failures semantics trace semantics failures-divergences semantics
gptkbp:hasSyntax	algebraic notation
https://www.w3.org/2000/01/rdf-schema#label	CSP (Communicating Sequential Processes)
gptkbp:implementedIn	gptkb:ProB gptkb:CSPM gptkb:FDR_(Failures-Divergence_Refinement) gptkb:PAT_(Process_Analysis_Toolkit) QuickCheck for CSP
gptkbp:influenced	gptkb:Ada_(programming_language) gptkb:Go_(programming_language) gptkb:Erlang_(programming_language) gptkb:occam_(programming_language) gptkb:Rust_(programming_language)
gptkbp:language	English
gptkbp:notablePublication	Communicating Sequential Processes (1985 book)
gptkbp:relatedTo	gptkb:Petri_net gptkb:Actor_model gptkb:pi-calculus gptkb:CCS_(Calculus_of_Communicating_Systems) LOTOS
gptkbp:usedFor	formal verification modeling concurrent systems
gptkbp:bfsParent	gptkb:dining_philosophers_problem gptkb:CCS_(Calculus_of_Communicating_Systems) gptkb:Richard_Hoare
gptkbp:bfsLayer	8