HTML Microdata document

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

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

Namespace Prefixes

Prefix	IRI
dbt	http://dbpedia.org/resource/Template:
n43	http://citeseer.ist.psu.edu/
dbpedia-el	http://el.dbpedia.org/resource/
n27	https://github.com/complex-system/
n36	http://citeseerx.ist.psu.edu/
wikipedia-en	http://en.wikipedia.org/wiki/
n21	https://web.archive.org/web/20110514085953/http:/www.wotug.org/paperdb/
dbr	http://dbpedia.org/resource/
n4	http://citeseer.comp.nus.edu.sg/
dbpedia-hr	http://hr.dbpedia.org/resource/
n22	https://web.archive.org/web/20110514085958/http:/www.wotug.org/paperdb/
n28	http://www.usingcsp.com/
dbpedia-fr	http://fr.dbpedia.org/resource/
n45	http://dbpedia.org/resource/Input/
n24	https://web.archive.org/web/20110514234221/http:/www.cs.swan.ac.uk/~csmarkus/Papers/
n48	https://dx.doi.org/10.1007/
dcterms	http://purl.org/dc/terms/
rdfs	http://www.w3.org/2000/01/rdf-schema#
rdf	http://www.w3.org/1999/02/22-rdf-syntax-ns#
n38	http://www.compass-research.eu/
dbp	http://dbpedia.org/property/
xsdh	http://www.w3.org/2001/XMLSchema#
n20	http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/
dbpedia-uk	http://uk.dbpedia.org/resource/
dbo	http://dbpedia.org/ontology/
dbpedia-pt	http://pt.dbpedia.org/resource/
dbpedia-ja	http://ja.dbpedia.org/resource/
dbc	http://dbpedia.org/resource/Category:
dbpedia-pl	http://pl.dbpedia.org/resource/
dbpedia-de	http://de.dbpedia.org/resource/
dbpedia-ru	http://ru.dbpedia.org/resource/
yago	http://dbpedia.org/class/yago/
wikidata	http://www.wikidata.org/entity/
gold	http://purl.org/linguistics/gold/
yago-res	http://yago-knowledge.org/resource/
n17	https://global.dbpedia.org/id/
n25	https://web.archive.org/web/20110514234221/http:/www.cs.york.ac.uk/circus/
dbpedia-ca	http://ca.dbpedia.org/resource/
n23	https://web.archive.org/web/20110514234220/http:/www.comp.nus.edu.sg/~dongjs/
prov	http://www.w3.org/ns/prov#
n18	http://web.comlab.ox.ac.uk/oucl/publications/books/concurrency/
foaf	http://xmlns.com/foaf/0.1/
n30	http://www.principia-m.com/syncstitch/
n19	http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/
dbpedia-zh	http://zh.dbpedia.org/resource/
dbpedia-ko	http://ko.dbpedia.org/resource/
n29	https://archive.org/details/
dbpedia-es	http://es.dbpedia.org/resource/
n50	http://www.wotug.org/
freebase	http://rdf.freebase.com/ns/
n41	https://link.springer.com/chapter/10.1007/
owl	http://www.w3.org/2002/07/owl#

Statements

Subject Item: dbr:Communicating_sequential_processes
rdf:type: yago:ComputerLanguage106899633 yago:Abstraction100002137 dbo:Language yago:WikicatFormalMethods yago:Method105660268 yago:Ability105616246 yago:ProgrammingLanguage106898352 yago:ArtificialLanguage106894544 yago:Cognition100023271 owl:Thing yago:Communication100033020 yago:PsychologicalFeature100023100 yago:WikicatComputerLanguages yago:WikicatProgrammingLanguages yago:Language106282651 yago:Know-how105616786
rdfs:label: Communicating sequential processes 커뮤니케이팅 시퀜셜 프로세스 Επικοινωνούσες Ακολουθιακές Διεργασίες Communicating Sequential Processes Communicating sequential processes Communicating Sequential Processes Взаимодействующие последовательные процессы Comunicación de procesos secuenciales Комунікуючі послідовні процеси Communicating Sequential Processes Processos comunicants seqüencials CSP (matemática) 通信顺序进程
rdfs:comment: Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych. CSP został po raz pierwszy opisany przez C. A. R. Hoare jednakże od czasu pierwszej publikacji został bardzo rozbudowany. CSP znajduje praktyczne zastosowanie jako narzędzie do określania i weryfikowania różnych aspektów funkcjonowania systemów równoległych. CSP jest cały czas przedmiotem aktywnych badań, w tym także pracy mającej na celu zwiększenie zakresu praktycznego zastosowania CSP (np. zwiększenie ilości systemów, które mogą być za jego pomocą analizowane). CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos. Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах. Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам, Limbo, Go. На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции. A notação CSP foi proposta por C.A.R. Hoare. É uma notação para descrever sistemas concorrentes cujos componentes são denominados processos, os quais interagem entre si e com o ambiente através de comunicação. Um evento é a interface pela qual um processo se comunica com o ambiente. Pode ser iniciado por um processo ou pelo ambiente externo, como outros processos ou objetos. Um processo, por sua vez, é definido em termos de eventos. 在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影響了Occam的設計，也影響了程式語言如Limbo、、Go、和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题，包括了增加它的实际可应用性的范围（比如增大可以跟踪分析的系统的规模）。 Взаємодія послідовних процесів (англ. Communicating Sequential Processes, CSP) — формальна мова для опису закономірностей взаємодії в рівночасних системах. Це член сім'ї математичних теорій рівночасності, відомої як алгебра або , в основі якої лежить обмін повідомленнями через канали. CSP відіграв важливу роль у розробці мови програмування occam, а також вплинув на дизайн таких мов програмування, як Limbo, , Go, та бібліотеки core.async в Clojure. CSP описує послідовні процеси, які взаємодіють лише через передачу повідомлень (і не через використання спільної пам'яті). 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. Στην επιστήμη υπολογιστών, οι Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes ή CSP) είναι μια τυπική γλώσσα για την περιγραφή τρόπων αλληλεπίδρασης σε ταυτόχρονα συστήματα. Είναι μέλος της οικογένειας μαθηματικών θεωριών του ταυτοχρονισμού που είναι γνωστή σαν άλγεβρες διεργασιών (process algebras) ή . Η CSP είχε σημαντική επίδραση στη σχεδίαση της γλώσσας προγραμματισμού , και υπήρξε επιρροή στη σχεδίαση των γλωσσών και Go. 커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용의 패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다. CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용되고 있다. En programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez-vous (détaillé plus loin au travers de la commande d'entrée/sortie). Combinant ce mécanisme à une syntaxe simple et concise, CSP permet l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains. Ce n'est pas un langage de programmation complet. Processos comunicants seqüencials, de sigles anglosaxones CSP (Communicating sequential processes), és un model de Programació d'ordinadors de sistemes concurrents basat en la comunicació entre processos. Definició del model: In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language and also influenced the design of programming languages such as Limbo, RaftLib, Erlang, Go, Crystal, and Clojure's core.async.
owl:differentFrom: dbr:Constraint_satisfaction_problem
dcterms:subject: dbc:1978_in_computing dbc:Computer-related_introductions_in_1978 dbc:Concurrent_computing dbc:Process_calculi
dbo:wikiPageID: 247370
dbo:wikiPageRevisionID: 1122259130
dbo:wikiPageWikiLink: dbr:Interaction dbr:Labelled_transition_system dbr:Robin_Milner dbr:Praxis_High_Integrity_Systems dbr:Ease_programming_language dbc:1978_in_computing dbr:Verilog_HDL dbr:Elizabeth_II dbr:Common_Algebraic_Specification_Language dbr:SuperPascal dbr:Algebraic_semantics_(computer_science) dbr:Concurrent_systems dbr:Actor_model dbr:Calculus_of_Communicating_Systems dbr:Go_(programming_language) dbr:Message_passing dbr:Unifying_Theories_of_Programming dbr:National_University_of_Singapore dbr:DaimlerChrysler_Aerospace dbr:Semantics dbc:Computer-related_introductions_in_1978 dbr:Microprocessor dbr:Trace_theory dbr:Binary_decision_diagram dbr:RTOS dbr:Anna_Philippou dbr:Bill_Roscoe dbr:Tony_Hoare dbr:Trace_monoid dbr:Macro_(computer_science) dbr:TLA+ dbr:Functional_programming_language dbr:Syntax dbr:Model_checker dbr:Parallel_programming_model dbr:Inmos dbr:Formal_specification dbr:Syntactic_sugar dbr:Jim_Davies_(computer_scientist) dbr:Erlang_(programming_language) dbr:B_method dbr:Unbounded_nondeterminism dbr:Process_calculus dbr:Denotational_semantics dbr:The_University_of_Adelaide dbr:Process_calculi dbr:VerilogCSP dbc:Concurrent_computing dbr:Joyce_(programming_language) dbr:System_of_systems dbr:Brinch_Hansen dbr:DirectX dbr:Object_Z dbr:Non-blocking_algorithm dbr:Language_Of_Temporal_Ordering_Specification dbr:DirectShow dbr:FDR2 dbr:Linear_Temporal_Logic dbr:Oxford_University_Computing_Laboratory dbr:Needham–Schroeder_protocol dbr:Deadlock dbr:Nondeterministic_algorithm dbr:Citeseer dbr:Limbo_(programming_language) dbc:Process_calculi n45:output_automaton dbr:RaftLib dbr:XC_programming_language dbr:Formal_language dbr:Channel_(programming) dbr:Operational_semantics dbr:Ada_(programming_language) dbr:VDM_specification_language dbr:Clojure dbr:Prentice_Hall dbr:Pattern dbr:Divergence_(computer_science) dbr:OpenComRTOS dbr:History_monoid dbr:Z_specification_language dbr:Computer_science dbr:Electronic_component dbr:Crystal_(programming_language) dbr:Transputer dbr:Occam_(programming_language)
dbo:wikiPageExternalLink: n4:61363.html n18: n19:68b.pdf n19:68b.ps n20:pubs.html n21:show_pap.php%3Ff=1&num=394 n22:show_pap.php%3Ff=1&num=395 n23:tcoz.html n24:cspcasl.ps n25: n27:Communicating-Sequential-Processes n28: n29:theorypracticeof00rosc n30: n36:search%3Fq=communicating+sequential+processes&submit=Search&sort=rlv&t=doc n38:approach.html n41:978-3-319-05032-4_25 n43:articles.html n48:BF01178564 n50:
owl:sameAs: freebase:m.01ksbf dbpedia-pt:CSP_(matemática) dbpedia-hr:Slijedni_priopćajni_postupci yago-res:Communicating_sequential_processes dbpedia-ja:Communicating_Sequential_Processes n17:B46W dbpedia-ca:Processos_comunicants_seqüencials dbpedia-zh:通信顺序进程 dbpedia-uk:Комунікуючі_послідовні_процеси dbpedia-ko:커뮤니케이팅_시퀜셜_프로세스 dbpedia-fr:Communicating_sequential_processes dbpedia-es:Comunicación_de_procesos_secuenciales wikidata:Q1120460 dbpedia-de:Communicating_Sequential_Processes dbpedia-el:Επικοινωνούσες_Ακολουθιακές_Διεργασίες dbpedia-pl:Communicating_Sequential_Processes dbpedia-ru:Взаимодействующие_последовательные_процессы
dbp:wikiPageUsesTemplate: dbt:Expand_section dbt:Cite_book dbt:Unreferenced_section dbt:Citation_needed dbt:Concurrent_computing dbt:Distinguish dbt:Mvar dbt:Dead_link dbt:Ill dbt:Short_description dbt:Reflist
dbp:bot: InternetArchiveBot
dbp:date: August 2017
dbp:fixAttempted: yes
dbo:abstract: CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos. Στην επιστήμη υπολογιστών, οι Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes ή CSP) είναι μια τυπική γλώσσα για την περιγραφή τρόπων αλληλεπίδρασης σε ταυτόχρονα συστήματα. Είναι μέλος της οικογένειας μαθηματικών θεωριών του ταυτοχρονισμού που είναι γνωστή σαν άλγεβρες διεργασιών (process algebras) ή . Η CSP είχε σημαντική επίδραση στη σχεδίαση της γλώσσας προγραμματισμού , και υπήρξε επιρροή στη σχεδίαση των γλωσσών και Go. Η αρχική περιγραφή της CSP δόθηκε σε μια δημοσίευση του 1978 από τον , αλλά έχει εξελιχθεί σημαντικά από τότε. Η CSP έχει εφαρμοστεί στην πράξη στη βιομηχανία λογισμικού, σαν εργαλείο για την και επαλήθευση χαρακτηριστικών ταυτοχρονισμού διάφορων συστημάτων, όπως ο T9000, και ένα ασφαλές σύστημα ηλεκτρονικού εμπορίου. Η ίδια η θεωρία της CSP εξακολουθεί να είναι αντικείμενο έρευνας, ενώ γίνεται προσπάθεια να βελτιωθεί η καταλληλότητά της για πρακτικές εφαρμογές (π.χ. αυξάνοντας την κλίμακα των συστημάτων που μπορούν να αναλυθούν ρεαλιστικά). In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message passing via channels. CSP was highly influential in the design of the occam programming language and also influenced the design of programming languages such as Limbo, RaftLib, Erlang, Go, Crystal, and Clojure's core.async. CSP was first described in a 1978 article by Tony Hoare, but has since evolved substantially. CSP has been practically applied in industry as a tool for specifying and verifying the concurrent aspects of a variety of different systems, such as the T9000 Transputer, as well as a secure ecommerce system. The theory of CSP itself is also still the subject of active research, including work to increase its range of practical applicability (e.g., increasing the scale of the systems that can be tractably analyzed). Processos comunicants seqüencials, de sigles anglosaxones CSP (Communicating sequential processes), és un model de Programació d'ordinadors de sistemes concurrents basat en la comunicació entre processos. Definició del model: * Estructures de control seqüencials: ordres amb guarda de Dijkstra: → * Execució concurrent dels processos. * Ordres especials d'entrada/sortida entre processos: Pj ! i Pi? X * La comunicació té lloc quan un procés Pi nomena a un altre procés Pj com a destí de la seva sortida i Pj nomena Pi com a origen de la seva entrada. * No hi ha buffering (coixí de missatges). Els processos que han d'enviar o rebre missatges queden bloquejats fins que aconsegueixen la comunicació. * No es creen ni es destrueixen processos durant l'execució dels programes (són estàtics). * No hi ha recursivitat. A notação CSP foi proposta por C.A.R. Hoare. É uma notação para descrever sistemas concorrentes cujos componentes são denominados processos, os quais interagem entre si e com o ambiente através de comunicação. Um evento é a interface pela qual um processo se comunica com o ambiente. Pode ser iniciado por um processo ou pelo ambiente externo, como outros processos ou objetos. Um processo, por sua vez, é definido em termos de eventos. Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах. Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам, Limbo, Go. Теория CSP была впервые описана в статье Энтони Хоара в 1978 году. Первоначальная версия была неудачной, так как не представляла . Впоследствии под влиянием идей, заимствованных из модели акторов теория была значительно изменена. В версиях CSP Хоара от 1985 года уже используется неограниченный индетерминизм; с тех пор теория значительно развита и остаётся предметом активных исследований. На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции. Communicating Sequential Processes (CSP) – formalny język służący do opisywania wzorców interakcji w równoległych systemach obliczeniowych. CSP został po raz pierwszy opisany przez C. A. R. Hoare jednakże od czasu pierwszej publikacji został bardzo rozbudowany. CSP znajduje praktyczne zastosowanie jako narzędzie do określania i weryfikowania różnych aspektów funkcjonowania systemów równoległych. CSP jest cały czas przedmiotem aktywnych badań, w tym także pracy mającej na celu zwiększenie zakresu praktycznego zastosowania CSP (np. zwiększenie ilości systemów, które mogą być za jego pomocą analizowane). Взаємодія послідовних процесів (англ. Communicating Sequential Processes, CSP) — формальна мова для опису закономірностей взаємодії в рівночасних системах. Це член сім'ї математичних теорій рівночасності, відомої як алгебра або , в основі якої лежить обмін повідомленнями через канали. CSP відіграв важливу роль у розробці мови програмування occam, а також вплинув на дизайн таких мов програмування, як Limbo, , Go, та бібліотеки core.async в Clojure. CSP описує послідовні процеси, які взаємодіють лише через передачу повідомлень (і не через використання спільної пам'яті). CSP був вперше описаний в 1978, у публікації Гоара, але з тих пір суттєво змінився. CSP практично застосовувався в промисловості як інструмент для специфікації і верифікації рівночасних аспектів різних систем, таких як Transputer T9000, а також безпечної системи електронної комерції. Теорія самого CSP досі є предметом активних досліджень, у тому числі робота з підвищення його спектру практичної застосовності (наприклад, збільшення масштабів систем, які можуть бути проаналізовані). En programmation concurrente, Communicating sequential processes (CSP) est une algèbre de processus permettant de modéliser l'interaction de systèmes. CSP intègre un mécanisme de synchronisation basé sur le principe du rendez-vous (détaillé plus loin au travers de la commande d'entrée/sortie). Combinant ce mécanisme à une syntaxe simple et concise, CSP permet l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains. Ce n'est pas un langage de programmation complet. CSP fut décrit en premier par C. A. R. Hoare dans un article de 1978, mais a depuis évolué de façon substantielle. CSP a été mis en pratique industriellement comme un outil de spécification formelle de l'exécution concurrente de systèmes variés — tels que le T9000 Transputer ou un système informatique de transaction commerciale sécurisé . C'est un champ de recherche toujours actif. 在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影響了Occam的設計，也影響了程式語言如Limbo、、Go、和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题，包括了增加它的实际可应用性的范围（比如增大可以跟踪分析的系统的规模）。 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. 커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용의 패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다. CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용되고 있다. Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。
gold:hypernym: dbr:Language
prov:wasDerivedFrom: wikipedia-en:Communicating_sequential_processes?oldid=1122259130&ns=0
dbo:wikiPageLength: 39614
foaf:isPrimaryTopicOf: wikipedia-en:Communicating_sequential_processes