Quelltext der Seite Communicating Sequential Processes

'''Communicating Sequential Processes''' ('''CSP''') ist eine von [[Tony Hoare]] an der [[Universität Oxford]] entwickelte [[Prozessalgebra]] zur Beschreibung von [[Interaktion]] zwischen kommunizierenden [[Prozess (Computer)|Prozessen]]. Die Idee wurde als [[imperative Sprache]] 1978 von Tony Hoare 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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref>

Als Abgrenzung zur ursprünglichen imperativen Sprache&nbsp;CSP wird die Prozessalgebra teilweise auch als '''Theoretical Communicating Sequential Processes'''&nbsp;('''TCSP''') bezeichnet.

== Anwendungen ==
* Die [[Programmiersprache]]n [[Go (Programmiersprache)|Go]]<ref>{{Internetquelle | url=https://godoc.org/github.com/thomas11/csp | titel=Google Go package csp | sprache=en | datum= | abruf=2019-06-26}}</ref>, [[Occam]] und [[Crystal (Programmiersprache)|Crystal]] beinhalten praktische [[Implementierung]]en der&nbsp;CSP.
* [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von&nbsp;CSP- und Occam-Konzepten in einer [[Java (Programmiersprache)|Java]]-[[Application Programming Interface|API]].
* Mit C++CSP2 ist eine entsprechende [[Implementierung]] für&nbsp;[[C++]] verfügbar.
* das [[Message Passing Interface]]
* die [[Parallele Virtuelle Maschine|Parallel Virtual Machine]].

== Auszug aus der Syntax und Semantik ==
* CSP verwendet Großbuchstaben für [[Automat (Informatik)|Zustände des Automaten]] sowie Kleinbuchstaben für [[Ereignis]]se. Die durch Ereignisse ausgelösten [[Transitionssystem|Zustandsübergänge]] werden durch einen Pfeil&nbsp;(→) gekennzeichnet.
** <code>(x → B)</code> &nbsp; Auf das Ereignis&nbsp;x folgt der Zustand&nbsp;B
** <code>(x → y → B)</code> &nbsp; Auf die Ereignisfolge x und dann&nbsp;y folgt Zustand&nbsp;B

* In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators | definiert.
** <code>(x → A | y → B)</code> &nbsp; Wenn Ereignis x, dann Zustand A. Wenn Ereignis y, dann Zustand B

* Die Menge der Zustände und Ereignisse, die ein über CSP definierter Automat akzeptiert, wird durch das [[Alphabet]] αP angegeben. Jeder Automat enthält einen zusätzlichen Zustand STOP in αP, aus dem ein weiterer Zustandsübergang per Definition nicht mehr erlaubt ist.

* Sequentielle [[Komposition (Mathematik)|Komposition]] wird durch das Einführen von Zwischenzuständen ermöglicht.
** <code>P = (x → A), A = (y → B)</code> &nbsp; ist äquivalent zu
** <code>P = (x → y → B)</code>

* Die Parallelschaltung von Prozessen, die dieser Prozessalgebra den Namen gab, wird durch die Angabe des Symbols || erreicht.
** <code>P = (a → (b → P | x →  b → P))</code> &nbsp; mit &nbsp; αP = {a, b, x}
** <code>Q = (a → b → Q | y → b → Q)</code> &nbsp; mit &nbsp; αQ = {a, b, y}
** <code>P || Q</code> &nbsp; akzeptiert alle Zeichenfolgen {ab, axb, yb} sowie beliebige sequentielle Kombinationen

* [[Rekursion]]en sind möglich.
** <code>P = (x → y → P)</code> &nbsp; generiert die unendliche Abfolge der Ereignisse xyxyxy…

== Weblinks ==
* [http://www.usingcsp.com/ Elektronische Version des Originalbuchs zu CSP von Tony Hoare]
* [http://www.cs.kent.ac.uk/projects/ofa/c++csp C++CSP2 der University of Kent]

== Einzelnachweise ==
<references />

[[Kategorie:Theoretische Informatik]]
[[Kategorie:Parallelverarbeitung]]
[[Kategorie:Logikkalkül]]