Communicating sequential processes

Property	Value
rdf:type	Computer-related introduction in 1978 owl:NamedIndividual Term relating to algorithms and data structures
rdfs:label	Communicating sequential processes
owl:sameAs	dbr:Communicating_sequential_processes
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Formal_specification http://en.wikipedia.org/wiki/Calculus_of_communicating_systems http://en.wikipedia.org/wiki/Communicating_sequential_processes http://en.wikipedia.org/wiki/List_of_terms_relating_to_algorithms_and_data_structures http://en.wikipedia.org/wiki/Formal_methods http://en.wikipedia.org/wiki/Category:Computer-related_introductions_in_1978 http://en.wikipedia.org/wiki/Concurrency_(computer_science)
skos:prefLabel	Communicating sequential processes
skos:altLabel	channel CSP Communicating Sequential Processes Communicating sequential processes (CSP) Cooperating Sequential Processes channel and process-based concurrency channels and processes communicating sequential processes communicating sequential processes (CSP)
is clgo:genre of	FDR (software)
is clgo:influencedBy of	SuperPascal Concurrent Euclid Handel-C Newsqueak Joyce (programming language) Limbo (programming language)
is clgo:knownFor of	G. Mike Reed Tony Hoare Jim Woodcock Bill Roscoe

About: clgr:Communicating_sequential_processes