Communicating Sequential Processes - Versionsgeschichte

Acky69: /* Anwendungen */ übersichtlicher

2024-11-30T21:30:08Z

Anwendungen: übersichtlicher

← Nächstältere Version		Version vom 30. November 2024, 23:30 Uhr
Zeile 4:		Zeile 4:

	== Anwendungen ==		== 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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP- und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende [[Implementierung]] für [[C++]] verfügbar. ~~Weitere Anwendungen sind~~ das [[Message Passing Interface]] ~~sowie~~ die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		* 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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP.
			* [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP- und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]].
			* Mit C++CSP2 ist eine entsprechende [[Implementierung]] für [[C++]] verfügbar.
			* das [[Message Passing Interface]]
			* die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der Syntax und Semantik ==		== Auszug aus der Syntax und Semantik ==

Acky69: zus. Links

2024-11-30T21:28:52Z

zus. Links

← Nächstältere Version		Version vom 30. November 2024, 23:28 Uhr
Zeile 1:		Zeile 1:
	'''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 ~~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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref>		'''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 CSP wird die Prozessalgebra auch ~~teilweise~~ als '''Theoretical Communicating Sequential Processes''' ('''TCSP''') bezeichnet.		Als Abgrenzung zur ursprünglichen imperativen Sprache CSP wird die Prozessalgebra teilweise auch als '''Theoretical Communicating Sequential Processes''' ('''TCSP''') bezeichnet.

	== Anwendungen ==		== Anwendungen ==
	Die ~~Programmiersprachen~~ [[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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP- und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende [[Implementierung]] für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der Syntax und Semantik ==		== 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 (→) gekennzeichnet.		* 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 (→) gekennzeichnet.
	** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B		** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B
	** <code>(x → y → B)</code>   Auf die Ereignisfolge x und dann y folgt Zustand B		** <code>(x → y → B)</code>   Auf die Ereignisfolge x und dann y folgt Zustand B

	* In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators \| definiert.		* In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators \| definiert.

Markus Bodensee: Wikilink aus Überschrift entfernt

2023-07-02T22:13:07Z

Wikilink aus Überschrift entfernt

← Nächstältere Version		Version vom 3. Juli 2023, 00:13 Uhr
Zeile 6:		Zeile 6:
	Die Programmiersprachen [[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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		Die Programmiersprachen [[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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der [[Syntax]] und [[Semantik]] ==		== 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 (→) gekennzeichnet.		* 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 (→) gekennzeichnet.
	** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B		** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B

DieserGorilla: Interwikilink, Aussage durch Quelle belegt

2019-06-26T19:55:09Z

Interwikilink, Aussage durch Quelle belegt

← Nächstältere Version		Version vom 26. Juni 2019, 21:55 Uhr
Zeile 4:		Zeile 4:

	== Anwendungen ==		== Anwendungen ==
	Die Programmiersprachen [[Go (Programmiersprache)\|~~Google~~]] [[Go ~~(Programmiersprache)~~\|~~GO]]~~ und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		Die Programmiersprachen [[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> und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der [[Syntax]] und [[Semantik]] ==		== Auszug aus der [[Syntax]] und [[Semantik]] ==

Invisigoth67: form

2019-06-20T17:45:55Z

form

← Nächstältere Version		Version vom 20. Juni 2019, 19:45 Uhr
Zeile 4:		Zeile 4:

	== Anwendungen ==		== Anwendungen ==
	Die Programmiersprachen [[Go (Programmiersprache)\|Google]] [[Go (Programmiersprache)\|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]~~<nowiki />~~en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		Die Programmiersprachen [[Go (Programmiersprache)\|Google]] [[Go (Programmiersprache)\|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der [[Syntax]] und [[Semantik]] ==		== Auszug aus der [[Syntax]] und [[Semantik]] ==

Lómelinde: veraltete Tags `→`

2019-06-18T12:09:15Z veraltete Tags <tt>→<code> ← Nächstältere Version Version vom 18. Juni 2019, 14:09 Uhr Zeile 4: Zeile 4: == Anwendungen == == Anwendungen == Die Programmiersprachen [[Go (Programmiersprache)|Google]] [[Go (Programmiersprache)|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki/>en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)|Java]]-[[Application Programming Interface|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine|Parallel Virtual Machine]]. Die Programmiersprachen [[Go (Programmiersprache)|Google]] [[Go (Programmiersprache)|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki />en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)|Java]]-[[Application Programming Interface|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine|Parallel Virtual Machine]]. == Auszug aus der [[Syntax]] und [[Semantik]] == == 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 (→) gekennzeichnet. * 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 (→) gekennzeichnet. ** <tt>(x → B)</tt>   Auf das Ereignis x folgt der Zustand B ** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B ** <tt>(x → y → B)</tt>   Auf die Ereignisfolge x und dann y folgt Zustand B ** <code>(x → y → B)</code>   Auf die Ereignisfolge x und dann y folgt Zustand B * In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators | definiert. * In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators | definiert. ** <tt>(x → A | y → B)</tt>   Wenn Ereignis x, dann Zustand A. Wenn Ereignis y, dann Zustand B ** <code>(x → A | y → B)</code>   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. * 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. * Sequentielle [[Komposition (Mathematik)|Komposition]] wird durch das Einführen von Zwischenzuständen ermöglicht. ** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu ** <code>P = (x → A), A = (y → B)</code>   ist äquivalent zu ** <tt>P = (x → y → B)</tt> ** <code>P = (x → y → B)</code> * Die Parallelschaltung von Prozessen, die dieser Prozessalgebra den Namen gab, wird durch die Angabe des Symbols || erreicht. * Die Parallelschaltung von Prozessen, die dieser Prozessalgebra den Namen gab, wird durch die Angabe des Symbols || erreicht. ** <tt>P = (a → (b → P | x → b → P))</tt>   mit   αP = {a, b, x} ** <code>P = (a → (b → P | x → b → P))</code>   mit   αP = {a, b, x} ** <tt>Q = (a → b → Q | y → b → Q)</tt>   mit   αQ = {a, b, y} ** <code>Q = (a → b → Q | y → b → Q)</code>   mit   αQ = {a, b, y} ** <tt>P || Q</tt>   akzeptiert alle Zeichenfolgen {ab, axb, yb} sowie beliebige sequentielle Kombinationen ** <code>P || Q</code>   akzeptiert alle Zeichenfolgen {ab, axb, yb} sowie beliebige sequentielle Kombinationen * [[Rekursion]]en sind möglich. * [[Rekursion]]en sind möglich. ** <tt>P = (x → y → P)</tt>   generiert die unendliche Abfolge der Ereignisse xyxyxy… ** <code>P = (x → y → P)</code>   generiert die unendliche Abfolge der Ereignisse xyxyxy… == Weblinks == == Weblinks ==

213.83.5.130: /* Anwendungen */ 2019-06-18T11:38:56Z Anwendungen ← Nächstältere Version Version vom 18. Juni 2019, 13:38 Uhr Zeile 4: Zeile 4: == Anwendungen == == Anwendungen == Die Programmiersprache [[Occam]] ist eine praktische [[Implementierung]] der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)|Java]]-[[Application Programming Interface|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine|Parallel Virtual Machine]]. Die Programmiersprachen [[Go (Programmiersprache)|Google]] [[Go (Programmiersprache)|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki/>en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)|Java]]-[[Application Programming Interface|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine|Parallel Virtual Machine]]. == Auszug aus der [[Syntax]] und [[Semantik]] == == Auszug aus der [[Syntax]] und [[Semantik]] == Bildungsbürger: /* Auszug aus der Syntax und Semantik */-BKL-Link mit AWB 2019-03-19T22:29:53Z Auszug aus der Syntax und Semantik: -BKL-Link mit AWB ← Nächstältere Version Version vom 20. März 2019, 00:29 Uhr Zeile 16: Zeile 16: * 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. * 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]] wird durch das Einführen von Zwischenzuständen ermöglicht. * Sequentielle [[Komposition (Mathematik)|Komposition]] wird durch das Einführen von Zwischenzuständen ermöglicht. ** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu ** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu ** <tt>P = (x → y → B)</tt> ** <tt>P = (x → y → B)</tt> 212.114.206.219: /* Auszug aus der Syntax und Semantik */ 2015-08-20T10:43:41Z Auszug aus der Syntax und Semantik ← Nächstältere Version Version vom 20. August 2015, 12:43 Uhr Zeile 21: Zeile 21: * Die Parallelschaltung von Prozessen, die dieser Prozessalgebra den Namen gab, wird durch die Angabe des Symbols || erreicht. * Die Parallelschaltung von Prozessen, die dieser Prozessalgebra den Namen gab, wird durch die Angabe des Symbols || erreicht. ** <tt>P = (a → (b → P | x → P) | b → P)</tt>   mit   αP = {a, b, x} ** <tt>P = (a → (b → P | x → b → P))</tt>   mit   αP = {a, b, x} ** <tt>Q = (a → b → Q | y → b → Q)</tt>   mit   αQ = {a, b, y} ** <tt>Q = (a → b → Q | y → b → Q)</tt>   mit   αQ = {a, b, y} ** <tt>P || Q</tt>   akzeptiert alle Zeichenfolgen {ab, axb, yb} sowie beliebige sequentielle Kombinationen ** <tt>P || Q</tt>   akzeptiert alle Zeichenfolgen {ab, axb, yb} sowie beliebige sequentielle Kombinationen 77.56.53.183 am 21. April 2015 um 02:25 Uhr 2015-04-21T02:25:52Z ← Nächstältere Version Version vom 21. April 2015, 04:25 Uhr Zeile 1: Zeile 1: '''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 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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref> '''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 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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref> Als Abgrenzung zur ursprünglichen imperativen Sprache CSP wird die Prozessalgebra auch teilweise als '''Theoretical Communicating Sequential Processes''' '''(TCSP)''' bezeichnet. Als Abgrenzung zur ursprünglichen imperativen Sprache CSP wird die Prozessalgebra auch teilweise als '''Theoretical Communicating Sequential Processes''' ('''TCSP''') bezeichnet. == Anwendungen == == Anwendungen ==

← Nächstältere Version		Version vom 18. Juni 2019, 14:09 Uhr
Zeile 4:		Zeile 4:

	== Anwendungen ==		== Anwendungen ==
	Die Programmiersprachen [[Go (Programmiersprache)\|Google]] [[Go (Programmiersprache)\|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki/>en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		Die Programmiersprachen [[Go (Programmiersprache)\|Google]] [[Go (Programmiersprache)\|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki />en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der [[Syntax]] und [[Semantik]] ==		== 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 (→) gekennzeichnet.		* 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 (→) gekennzeichnet.
	** <tt>(x → B)</tt>   Auf das Ereignis x folgt der Zustand B		** <code>(x → B)</code>   Auf das Ereignis x folgt der Zustand B
	** <tt>(x → y → B)</tt>   Auf die Ereignisfolge x und dann y folgt Zustand B		** <code>(x → y → B)</code>   Auf die Ereignisfolge x und dann y folgt Zustand B

	* In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators \| definiert.		* In CSP werden bedingte Ereignisse durch Angabe des Auswahloperators \| definiert.
	** <tt>(x → A \| y → B)</tt>   Wenn Ereignis x, dann Zustand A. Wenn Ereignis y, dann Zustand B		** <code>(x → A \| y → B)</code>   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.		* 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.		* Sequentielle [[Komposition (Mathematik)\|Komposition]] wird durch das Einführen von Zwischenzuständen ermöglicht.
	** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu		** <code>P = (x → A), A = (y → B)</code>   ist äquivalent zu
	** <tt>P = (x → y → B)</tt>		** <code>P = (x → y → B)</code>

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

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

	== Weblinks ==		== Weblinks ==

← Nächstältere Version		Version vom 18. Juni 2019, 13:38 Uhr
Zeile 4:		Zeile 4:

	== Anwendungen ==		== Anwendungen ==
	Die Programmiersprache [[~~Occam~~]] ~~ist~~ ~~eine~~ praktische [[Implementierung]] der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].		Die Programmiersprachen [[Go (Programmiersprache)\|Google]] [[Go (Programmiersprache)\|GO]] und [[Occam]] beinhalten praktische [[Implementierung]]<nowiki/>en der CSP. [[JCSP]] (Communicating Sequential Processes for Java) ist die Verbindung von CSP und Occam-Konzepten in einer [[Java (Programmiersprache)\|Java]]-[[Application Programming Interface\|API]]. Mit C++CSP2 ist eine entsprechende Implementierung für [[C++]] verfügbar. Weitere Anwendungen sind das [[Message Passing Interface]] sowie die [[Parallele Virtuelle Maschine\|Parallel Virtual Machine]].

	== Auszug aus der [[Syntax]] und [[Semantik]] ==		== Auszug aus der [[Syntax]] und [[Semantik]] ==

← Nächstältere Version		Version vom 20. März 2019, 00:29 Uhr
Zeile 16:		Zeile 16:
	* 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.		* 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]] wird durch das Einführen von Zwischenzuständen ermöglicht.		* Sequentielle [[Komposition (Mathematik)\|Komposition]] wird durch das Einführen von Zwischenzuständen ermöglicht.
	** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu		** <tt>P = (x → A), A = (y → B)</tt>   ist äquivalent zu
	** <tt>P = (x → y → B)</tt>		** <tt>P = (x → y → B)</tt>

← Nächstältere Version		Version vom 20. August 2015, 12:43 Uhr
Zeile 21:		Zeile 21:

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

← Nächstältere Version		Version vom 21. April 2015, 04:25 Uhr
Zeile 1:		Zeile 1:
	'''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 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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref>		'''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 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]].<ref>[http://citeseer.ist.psu.edu/articles.html CiteSeer Statistik]</ref>

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

	== Anwendungen ==		== Anwendungen ==

Communicating Sequential Processes - Versionsgeschichte

Acky69: /* Anwendungen */ übersichtlicher

Acky69: zus. Links

Markus Bodensee: Wikilink aus Überschrift entfernt

DieserGorilla: Interwikilink, Aussage durch Quelle belegt

Invisigoth67: form

Lómelinde: veraltete Tags →

213.83.5.130: /* Anwendungen */

Bildungsbürger: /* Auszug aus der Syntax und Semantik */-BKL-Link mit AWB

212.114.206.219: /* Auszug aus der Syntax und Semantik */

77.56.53.183 am 21. April 2015 um 02:25 Uhr

Lómelinde: veraltete Tags `→`