CSP
Trace Refinement von CSP

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.
(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 B
Siehe: Wikipedia
stack.fs Error: Embedded data could not be displayed.
csp.fs Error: Embedded data could not be displayed.
Usage Error: Embedded data could not be displayed.
[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]console.fs25-Jan-2014 13:51 862  
[   ]csp.fs25-Jan-2014 13:51 2.4K 
[   ]stack.fs25-Jan-2014 13:51 1.6K 
[DIR]web/25-Jan-2014 13:50 -  

Apache/2.2.22 (Debian) DAV/2 mod_fcgid/2.3.6 PHP/5.4.36-0+deb7u3 mod_python/3.3.1 Python/2.7.3 mod_ssl/2.2.22 OpenSSL/1.0.1e mod_perl/2.0.7 Perl/v5.14.2 Server at www.complang.tuwien.ac.at Port 80