Prozessalgebra - Programmierung und Softwaretechnik (PST ...
Prozessalgebra - Programmierung und Softwaretechnik (PST ...
Prozessalgebra - Programmierung und Softwaretechnik (PST ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
1.3 Formale Theorien 11<br />
<strong>Prozessalgebra</strong><br />
Spezielle (“algebraische”) Theorien für kommunizierende Prozesse (i.w. drei leicht unterschiedliche<br />
Ansätze):<br />
• CCS (Calculus of Communicating Systems, Milner 1980).<br />
• TCSP (Theoretical CSP, Hoare et al. 1984)<br />
(“abstrakte Fassung” von CSP, oft auch nur CSP genannt).<br />
• <strong>Prozessalgebra</strong> (Bergstra/Klop 1982).