Communicating sequential processes (original) (raw)
CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos.
| Property | Value |
|---|---|
| dbo:abstract | 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. (ca) 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. (de) Στην επιστήμη υπολογιστών, οι Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes ή CSP) είναι μια τυπική γλώσσα για την περιγραφή τρόπων αλληλεπίδρασης σε ταυτόχρονα συστήματα. Είναι μέλος της οικογένειας μαθηματικών θεωριών του ταυτοχρονισμού που είναι γνωστή σαν άλγεβρες διεργασιών (process algebras) ή . Η CSP είχε σημαντική επίδραση στη σχεδίαση της γλώσσας προγραμματισμού , και υπήρξε επιρροή στη σχεδίαση των γλωσσών και Go. Η αρχική περιγραφή της CSP δόθηκε σε μια δημοσίευση του 1978 από τον , αλλά έχει εξελιχθεί σημαντικά από τότε. Η CSP έχει εφαρμοστεί στην πράξη στη βιομηχανία λογισμικού, σαν εργαλείο για την και επαλήθευση χαρακτηριστικών ταυτοχρονισμού διάφορων συστημάτων, όπως ο T9000, και ένα ασφαλές σύστημα ηλεκτρονικού εμπορίου. Η ίδια η θεωρία της CSP εξακολουθεί να είναι αντικείμενο έρευνας, ενώ γίνεται προσπάθεια να βελτιωθεί η καταλληλότητά της για πρακτικές εφαρμογές (π.χ. αυξάνοντας την κλίμακα των συστημάτων που μπορούν να αναλυθούν ρεαλιστικά). (el) 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). (en) CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos. (es) 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. (fr) Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja) 커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용의 패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다. CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용되고 있다. (ko) 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). (pl) 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. (pt) Взаємодія послідовних процесів (англ. Communicating Sequential Processes, CSP) — формальна мова для опису закономірностей взаємодії в рівночасних системах. Це член сім'ї математичних теорій рівночасності, відомої як алгебра або , в основі якої лежить обмін повідомленнями через канали. CSP відіграв важливу роль у розробці мови програмування occam, а також вплинув на дизайн таких мов програмування, як Limbo, , Go, та бібліотеки core.async в Clojure. CSP описує послідовні процеси, які взаємодіють лише через передачу повідомлень (і не через використання спільної пам'яті). CSP був вперше описаний в 1978, у публікації Гоара, але з тих пір суттєво змінився. CSP практично застосовувався в промисловості як інструмент для специфікації і верифікації рівночасних аспектів різних систем, таких як Transputer T9000, а також безпечної системи електронної комерції. Теорія самого CSP досі є предметом активних досліджень, у тому числі робота з підвищення його спектру практичної застосовності (наприклад, збільшення масштабів систем, які можуть бути проаналізовані). (uk) Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах. Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам, Limbo, Go. Теория CSP была впервые описана в статье Энтони Хоара в 1978 году. Первоначальная версия была неудачной, так как не представляла . Впоследствии под влиянием идей, заимствованных из модели акторов теория была значительно изменена. В версиях CSP Хоара от 1985 года уже используется неограниченный индетерминизм; с тех пор теория значительно развита и остаётся предметом активных исследований. На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции. (ru) 在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影響了Occam的設計，也影響了程式語言如Limbo、、Go、 和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题，包括了增加它的实际可应用性的范围（比如增大可以跟踪分析的系统的规模）。 (zh) |
| dbo:wikiPageExternalLink | http://www.usingcsp.com/ https://archive.org/details/theorypracticeof00rosc http://citeseer.comp.nus.edu.sg/61363.html http://www.compass-research.eu/approach.html http://www.principia-m.com/syncstitch/ https://dx.doi.org/10.1007/BF01178564 https://link.springer.com/chapter/10.1007/978-3-319-05032-4_25 http://citeseer.ist.psu.edu/articles.html http://www.wotug.org/ https://github.com/complex-system/Communicating-Sequential-Processes https://web.archive.org/web/20110514085953/http:/www.wotug.org/paperdb/show_pap.php%3Ff=1&num=394 https://web.archive.org/web/20110514085958/http:/www.wotug.org/paperdb/show_pap.php%3Ff=1&num=395 https://web.archive.org/web/20110514234220/http:/www.comp.nus.edu.sg/~dongjs/tcoz.html https://web.archive.org/web/20110514234221/http:/www.cs.swan.ac.uk/~csmarkus/Papers/cspcasl.ps https://web.archive.org/web/20110514234221/http:/www.cs.york.ac.uk/circus/ http://citeseerx.ist.psu.edu/search%3Fq=communicating+sequential+processes&submit=Search&sort=rlv&t=doc http://web.comlab.ox.ac.uk/oucl/publications/books/concurrency/ http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.pdf http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.ps http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/pubs.html |
| dbo:wikiPageID | 247370 (xsd:integer) |
| dbo:wikiPageLength | 39614 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122259130 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Prentice_Hall dbr:Robin_Milner dbr:Electronic_component dbr:FDR2 dbr:Message_passing dbr:Bill_Roscoe dbr:Denotational_semantics dbr:Algebraic_semantics_(computer_science) dbr:Joyce_(programming_language) dbr:Unbounded_nondeterminism dbr:VDM_specification_language dbr:Deadlock dbr:Input/output_automaton dbr:Interaction dbr:Crystal_(programming_language) dbr:Transputer dbr:Citeseer dbr:Clojure dbr:Elizabeth_II dbr:Go_(programming_language) dbr:Operational_semantics dbr:Process_calculi dbr:Limbo_(programming_language) dbr:Linear_Temporal_Logic dbr:Common_Algebraic_Specification_Language dbr:Computer_science dbr:DaimlerChrysler_Aerospace dbr:Pattern dbc:Concurrent_computing dbc:1978_in_computing dbr:Tony_Hoare dbr:Ease_programming_language dbr:Language_Of_Temporal_Ordering_Specification dbr:VerilogCSP dbr:Actor_model dbr:Ada_(programming_language) dbr:Erlang_(programming_language) dbr:Formal_language dbr:Formal_specification dbr:History_monoid dbr:Functional_programming_language dbr:Jim_Davies_(computer_scientist) dbr:Trace_theory dbc:Process_calculi dbr:Binary_decision_diagram dbr:SuperPascal dbr:Syntactic_sugar dbr:Syntax dbr:TLA+ dbr:Trace_monoid dbr:DirectShow dbr:DirectX dbr:Divergence_(computer_science) dbc:Computer-related_introductions_in_1978 dbr:Inmos dbr:Microprocessor dbr:National_University_of_Singapore dbr:Occam_(programming_language) dbr:OpenComRTOS dbr:RTOS dbr:RaftLib dbr:Channel_(programming) dbr:Calculus_of_Communicating_Systems dbr:Process_calculus dbr:Macro_(computer_science) dbr:System_of_systems dbr:Needham–Schroeder_protocol dbr:Semantics dbr:Unifying_Theories_of_Programming dbr:Oxford_University_Computing_Laboratory dbr:The_University_of_Adelaide dbr:Non-blocking_algorithm dbr:Nondeterministic_algorithm dbr:Parallel_programming_model dbr:B_method dbr:Model_checker dbr:Brinch_Hansen dbr:Concurrent_systems dbr:Labelled_transition_system dbr:Verilog_HDL dbr:Object_Z dbr:Praxis_High_Integrity_Systems dbr:Z_specification_language dbr:XC_programming_language dbr:Anna_Philippou |
| dbp:bot | InternetArchiveBot (en) |
| dbp:date | August 2017 (en) |
| dbp:fixAttempted | yes (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_book dbt:Dead_link dbt:Distinguish dbt:Expand_section dbt:Ill dbt:Mvar dbt:Reflist dbt:Short_description dbt:Unreferenced_section dbt:Concurrent_computing |
| dcterms:subject | dbc:Concurrent_computing dbc:1978_in_computing dbc:Process_calculi dbc:Computer-related_introductions_in_1978 |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language yago:WikicatComputerLanguages yago:Ability105616246 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Cognition100023271 yago:Communication100033020 yago:ComputerLanguage106899633 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:ProgrammingLanguage106898352 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods yago:WikicatProgrammingLanguages |
| rdfs:comment | CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos. (es) Communicating Sequential Processes（CSP）とは、並行性に関するプロセス計算の理論のひとつである。プログラミング言語Occamにも影響を与えた。 CSPは1978年、アントニー・ホーアが最初に考案し、その後かなり改良されていった。CSPは様々なシステムにおける並行性を記述し検証する、形式仕様記述ツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja) 커뮤니케이팅 시퀜셜 프로세스(Communicating Sequential Processes, CSP)는 병행 시스템에서 상호작용의 패턴을 기술하기 위해 고안된 형식 언어이다. 프로세스 대수 혹은 프로세스 계산이라 불리는 병행성 관련 수학논리의 한 종류이다. CSP는 1978년 앤터니 호어가 최초로 고안하여, 이후 계속해서 개량되어왔다. CSP는 여러 가지 시스템을 병행성의 관점에서 기술하여 검증을 하기 위한 도구로 산업계에서 이용되고 있다. (ko) 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). (pl) 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. (pt) 在计算机科学中，通信顺序进程（英語：Communicating sequential processes，縮寫為CSP），又譯為交談循序程式、交換訊息的循序程式，是一種形式語言，用來描述並行性系統間進行互動的模式。它是叫做进程代数或进程演算的关于并发的数学理论家族的一员，基于了通过通道的消息传递。CSP高度影響了Occam的設計，也影響了程式語言如Limbo、、Go、 和Clojure的core.async等。 CSP最早出現於東尼·霍爾在1978年發表的論文，但在之後又經過一系列的改善。CSP已经实际的应用在工业之中，作为一种工具去各种不同系统的并发状况，比如T9000 Transputer，还有安全电子商务系统。CSP的理论自身仍是活跃研究的主题，包括了增加它的实际可应用性的范围（比如增大可以跟踪分析的系统的规模）。 (zh) 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: (ca) Στην επιστήμη υπολογιστών, οι Επικοινωνούσες Ακολουθιακές Διεργασίες (Communicating Sequential Processes ή CSP) είναι μια τυπική γλώσσα για την περιγραφή τρόπων αλληλεπίδρασης σε ταυτόχρονα συστήματα. Είναι μέλος της οικογένειας μαθηματικών θεωριών του ταυτοχρονισμού που είναι γνωστή σαν άλγεβρες διεργασιών (process algebras) ή . Η CSP είχε σημαντική επίδραση στη σχεδίαση της γλώσσας προγραμματισμού , και υπήρξε επιρροή στη σχεδίαση των γλωσσών και Go. (el) 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. (en) 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. (de) 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. (fr) Взаимодействующие последовательные процессы (англ. communicating sequential processes, CSP) — формальный язык для описания моделей взаимодействия в параллельных системах. Относится к математическим теориям параллелизма, известных как исчисление процессов (или алгебра процессов), основанных на передаче сообщений по каналам. Оказал влияние на разработку языков Оккам, Limbo, Go. На практике CSP применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000 или безопасной системы электронной коммерции. (ru) Взаємодія послідовних процесів (англ. Communicating Sequential Processes, CSP) — формальна мова для опису закономірностей взаємодії в рівночасних системах. Це член сім'ї математичних теорій рівночасності, відомої як алгебра або , в основі якої лежить обмін повідомленнями через канали. CSP відіграв важливу роль у розробці мови програмування occam, а також вплинув на дизайн таких мов програмування, як Limbo, , Go, та бібліотеки core.async в Clojure. CSP описує послідовні процеси, які взаємодіють лише через передачу повідомлень (і не через використання спільної пам'яті). (uk) |
| rdfs:label | Processos comunicants seqüencials (ca) Communicating Sequential Processes (de) Επικοινωνούσες Ακολουθιακές Διεργασίες (el) Comunicación de procesos secuenciales (es) Communicating sequential processes (en) Communicating sequential processes (fr) Communicating Sequential Processes (ja) 커뮤니케이팅 시퀜셜 프로세스 (ko) Communicating Sequential Processes (pl) CSP (matemática) (pt) Взаимодействующие последовательные процессы (ru) Комунікуючі послідовні процеси (uk) 通信顺序进程 (zh) |
| owl:differentFrom | dbr:Constraint_satisfaction_problem |
| owl:sameAs | freebase:Communicating sequential processes yago-res:Communicating sequential processes wikidata:Communicating sequential processes dbpedia-ca:Communicating sequential processes dbpedia-de:Communicating sequential processes dbpedia-el:Communicating sequential processes dbpedia-es:Communicating sequential processes dbpedia-fr:Communicating sequential processes dbpedia-hr:Communicating sequential processes dbpedia-ja:Communicating sequential processes dbpedia-ko:Communicating sequential processes dbpedia-pl:Communicating sequential processes dbpedia-pt:Communicating sequential processes dbpedia-ru:Communicating sequential processes dbpedia-uk:Communicating sequential processes dbpedia-zh:Communicating sequential processes https://global.dbpedia.org/id/B46W |
| prov:wasDerivedFrom | wikipedia-en:Communicating_sequential_processes?oldid=1122259130&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Communicating_sequential_processes |
| is dbo:genre of | dbr:FDR_(software) |
| is dbo:influencedBy of | dbr:Joyce_(programming_language) dbr:Limbo_(programming_language) dbr:Handel-C dbr:SuperPascal dbr:Newsqueak dbr:Occam_(programming_language)__occam__1 |
| is dbo:knownFor of | dbr:Tony_Hoare |
| is dbo:wikiPageDisambiguates of | dbr:CSP |
| is dbo:wikiPageRedirects of | dbr:Cooperating_sequential_processes dbr:Communicating_Sequential_Processes |
| is dbo:wikiPageWikiLink of | dbr:Behavior_tree dbr:Quasi-delay-insensitive_circuit dbr:Scala_(programming_language) dbr:List_of_computer_scientists dbr:List_of_computing_and_IT_abbreviations dbr:Message_passing dbr:Monitor_(synchronization) dbr:MIL-STD-1553 dbr:Cooperating_sequential_processes dbr:Bill_Roscoe dbr:Denotational_semantics dbr:Algebra_of_communicating_processes dbr:Joyce_(programming_language) dbr:List_of_C-family_programming_languages dbr:List_of_important_publications_in_theoretical_computer_science dbr:Per_Brinch_Hansen dbr:Input/output_automaton dbr:JCSP dbr:List_of_model_checking_tools dbr:List_of_programmers dbr:List_of_programming_language_researchers dbr:List_of_programming_languages_by_type dbr:Communicating_Sequential_Processes dbr:Concurrent_computing dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Crystal_(programming_language) dbr:STC104 dbr:Transputer dbr:Clojure dbr:Go_(programming_language) dbr:Model_checking dbr:Concurrency_(computer_science) dbr:Coroutine dbr:Limbo_(programming_language) dbr:Calculus_of_broadcasting_systems dbr:Calculus_of_communicating_systems dbr:Cleanroom_software_engineering dbr:Common_Algebraic_Specification_Language dbr:Communication_protocol dbr:Pipeline_(Unix) dbr:Programming_language_theory dbr:Michael_Goldsmith_(computer_scientist) dbr:Tony_Hoare dbr:John_Graham-Cumming dbr:Actor_model dbr:Dansk_Datamatik_Center dbr:Dataflow dbr:Ease_(programming_language) dbr:Erlang_(programming_language) dbr:FDR_(software) dbr:Flix_(programming_language) dbr:Formal_specification dbr:Handel-C dbr:History_monoid dbr:Kahn_process_networks dbr:Rendezvous_(Plan_9) dbr:Alef_(programming_language) dbr:SuperPascal dbr:Synchronous_programming_language dbr:TLA+ dbr:Thread_(computing) dbr:Divergence_(computer_science) dbr:Automata-based_programming_(Shalyto's_approach) dbr:Green_thread dbr:ITMO_University dbr:Impulse_C dbr:Michael_Butler_(computer_scientist) dbr:Michael_Hinchey dbr:Occam_(programming_language) dbr:OpenComRTOS dbr:CSP dbr:Process_calculus dbr:Massively_parallel_processor_array dbr:Vienna_Development_Method dbr:Newsqueak dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:PicoChip dbr:PL/0 dbr:Parallel_programming_model dbr:TAPAs_model_checker |
| is dbp:influencedBy of | dbr:Joyce_(programming_language) dbr:Limbo_(programming_language) dbr:Handel-C dbr:SuperPascal dbr:Occam_(programming_language) dbr:Newsqueak |
| is dbp:paradigms of | dbr:Ease_(programming_language) |
| is owl:differentFrom of | dbr:Constraint_satisfaction_problem |
| is foaf:primaryTopic of | wikipedia-en:Communicating_sequential_processes |