This HTML5 document contains 27 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
category-dehttp://de.dbpedia.org/resource/Kategorie:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
n19http://pt.dbpedia.org/resource/CSP_(matemática)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15http://www.usingcsp.com/
n10http://de.wikipedia.org/wiki/Communicating_Sequential_Processes?oldid=
dbpedia-elhttp://el.dbpedia.org/resource/
dbpedia-plhttp://pl.dbpedia.org/resource/
n16http://rdf.freebase.com/ns/m.
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
wikipedia-dehttp://de.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n11http://www.cs.kent.ac.uk/projects/ofa/c++
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
dbpedia-jahttp://ja.dbpedia.org/resource/
Subject Item
dbpedia-de:CSP
dbo:wikiPageDisambiguates
dbpedia-de:Communicating_Sequential_Processes
Subject Item
dbpedia-de:Occam
dbo:influencedBy
dbpedia-de:Communicating_Sequential_Processes
Subject Item
dbpedia-de:Communicating_Sequential_Processes
rdfs:label
Communicating Sequential Processes
rdfs:comment
Communicating Sequential Processes (CSP) ist eine von Tony Hoare an der Universität Oxford entwickelte Prozessalgebra zur Beschreibung von Interaktion zwischen kommunizierenden Prozessen. Die Idee wurde als imperative Sprache 1978 von Tony Hoare erstmals vorgestellt, dann von ihm zu einer formalen Algebra ausgebaut und 1985 mit der Veröffentlichung des Buchs mit dem gleichnamigen Titel Communicating Sequential Processes berühmt. Dieses Buch war 2003 laut CiteSeer bereits das dritthäufigst zitierte Werk der Informatik.
owl:sameAs
wikidata:Q1120460 dbpedia-ja:Communicating_Sequential_Processes dbpedia-pl:Communicating_Sequential_Processes n16:01ksbf dbpedia-wikidata:Q1120460 n19: dbpedia-ko:커뮤니케이팅_시퀜셜_프로세스 dbpedia-el:Επικοινωνούσες_Ακολουθιακές_Διεργασίες dbr:Communicating_sequential_processes dbpedia-es:Comunicación_de_procesos_secuenciales dbpedia-fr:Communicating_sequential_processes
dct:subject
category-de:Logikkalkül category-de:Theoretische_Informatik category-de:Parallelverarbeitung
foaf:isPrimaryTopicOf
wikipedia-de:Communicating_Sequential_Processes
dbo:wikiPageID
363694
dbo:wikiPageRevisionID
145222628
dbo:wikiPageExternalLink
n11:csp n15:
prov:wasDerivedFrom
n10:145222628
dbo:abstract
Communicating Sequential Processes (CSP) ist eine von Tony Hoare an der Universität Oxford entwickelte Prozessalgebra zur Beschreibung von Interaktion zwischen kommunizierenden Prozessen. Die Idee wurde als imperative Sprache 1978 von Tony Hoare erstmals vorgestellt, dann von ihm zu einer formalen Algebra ausgebaut und 1985 mit der Veröffentlichung des Buchs mit dem gleichnamigen Titel Communicating Sequential Processes berühmt. Dieses Buch war 2003 laut CiteSeer bereits das dritthäufigst zitierte Werk der Informatik. Als Abgrenzung zur ursprünglichen imperativen Sprache CSP wird die Prozessalgebra auch teilweise als Theoretical Communicating Sequential Processes (TCSP) bezeichnet.
Subject Item
dbpedia-de:Newsqueak
dbo:influencedBy
dbpedia-de:Communicating_Sequential_Processes
Subject Item
wikipedia-de:Communicating_Sequential_Processes
foaf:primaryTopic
dbpedia-de:Communicating_Sequential_Processes