Communicating Sequential Processes (CSP) ist eine von Tony Hoare an der Universität Oxford entwickelte Prozessalgebra zur Beschreibung von Interaktion zwischen kommunizierenden Prozessen.
Auszug aus Syntax und Semantik
CSP verwendet Großbuchstaben für Zustände des Automaten sowie Kleinbuchstaben für Ereignisse. Die durch Ereignisse ausgelösten Zustandsübergänge werden durch einen Pfeil (→) gekennzeichnet.
CSP verwendet Großbuchstaben für Zustände des Automaten sowie Kleinbuchstaben für Ereignisse. Die durch Ereignisse ausgelösten Zustandsübergänge werden durch einen Pfeil (→) gekennzeichnet.
(x → B) Auf das Ereignis x folgt der Zustand B (x → y → B) Auf die Ereignisfolge x und dann y folgt Zustand B (x → A | y → B) Wenn Ereignis x, dann Zustand A. Wenn Ereignis y, dann Zustand BSiehe: Wikipedia
stack.fs
csp.fs
Usage
Apache/2.4.62 (Debian) OpenSSL/3.0.15 Server at www.complang.tuwien.ac.at Port 80
![[ICO]](/icons/blank.gif){kind=icon} | Name | Last modified | Size | Description |
|---|---|---|---|---|
![[PARENTDIR]](/icons/back.gif){kind=icon} | Parent Directory | - | ||
![[ ]](/icons/unknown.gif){kind=icon} | console.fs | 2014-01-25 13:51 | 862 | |
| csp.fs | 2014-01-25 13:51 | 2.4K | |
| stack.fs | 2014-01-25 13:51 | 1.6K | |
![[DIR]](/icons/folder.gif){kind=icon} | web/ | 2014-01-25 13:50 | - | |