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. CSP was influential in the development of the occam programming language. by C. A. R. Hoare, but has since evolved substantially.

PropertyValue
p:abstract
  • 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. CSP was influential in the development of the occam programming language. by C. A. R. 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, and 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. Definición del modelo: * Estructuras de control secuenciales: órdenes con guarda de Dijkstra: -> * Ejecución concurrente de los procesos. * Órdenes especiales de entrada/salida entre procesos: Pj!e Pi?x ** La comunicación tiene lugar cuando un proceso Pi nombra a otro proceso Pj como destino de su salida y Pj nombra a Pi como origen de su entrada. ** No existe buffering. Los procesos que van a enviar o recibir mensajes quedan bloqueados hasta que consiguen la comunicación (o no). * No se crean ni se destruyen procesos durante la ejecución de los programas (son estáticos). * No existe recursividad. Categoría:Lenguajes de especificación (es)
  • 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 nach 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 ou CSP est une algèbre de processus mis au point par Tony Hoare dans un article publié en 1978. 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 alors l'implémentation rapide des paradigmes classiques de la concurrence, tels que producteurs/consommateurs ou lecteurs/écrivains. CSP reste donc un langage de programmation simple, et n'entre en aucun cas dans la catégorie des Java, C++ et autres langages très puissants. = Généralités = (fr)
  • Communicating Sequential Processes（CSP）とは、並行システムにおける相互作用のパターンを記述する仕様記述言語である。プロセス代数またはプロセス計算と呼ばれる並行性に関する数学的理論の一種である。CSPは Occam プログラミング言語の開発にも影響を与えた、その後かなり改良されていった。CSPは様々なシステムを並行性の観点で記述し検証するツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
p:hasPhotoCollection
p:reference
p:wikipage-de
p:wikipage-es
p:wikipage-fr
p:wikipage-ja
rdfs:comment
  • 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. CSP was influential in the development of the occam programming language. by C. A. R. Hoare, but has since evolved substantially. (en)
  • 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) 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. (de)
  • Communicating sequential processes ou CSP est une algèbre de processus mis au point par Tony Hoare dans un article publié en 1978. (fr)
  • Communicating Sequential Processes（CSP）とは、並行システムにおける相互作用のパターンを記述する仕様記述言語である。プロセス代数またはプロセス計算と呼ばれる並行性に関する数学的理論の一種である。CSPは Occam プログラミング言語の開発にも影響を与えた、その後かなり改良されていった。CSPは様々なシステムを並行性の観点で記述し検証するツールとして産業で利用されてきた。たとえば、T9000トランスピュータやセキュアな電子商取引システムなどの例がある。理論としても、応用範囲を広げる（より大規模なシステムの解析に使えるようにする）などの研究が行われている。 (ja)
rdfs:label
  • Communicating sequential processes (en)
  • Comunicación de Procesos Secuenciales (es)
  • Communicating Sequential Processes (de)
  • Communicating sequential processes (fr)
  • Communicating Sequential Processes (ja)
skos:subject
foaf:page
p:influencedBy
p:redirect