Diskussion:Pi-Kalkül

größere Lücken

Einleitung

Die grundlegenden Bestandteile wie Prozesse und Kommunikationskanäle sollten m.E. im ersten Abschnitt namentlich erwähnt werden. Eine Antwort auf die Frage: 'Wozu wirds benutzt?' wäre schön. Ausserdem wäre eine Abgrenzung bzw. Vergleich zum Lambda-Kalkül sicherlich nützlich zur Einordnung. Wer bei Prozesskalkül nachsieht, bekommt hier auch nur eine recht dünne Beschreibung.

Konstrukte bzw. formale Definition

Im Vergleich zur sehr gut verständlichen (englischen) FAQ von Jeannette Wing fehlt bei den Konstrukten hier der Eintrag $P+Q$ (wie auch bei der formalen Definition) . Die Tabelle könnte m.E. auch noch eine Spalte Beschreibung vertragen. Die verwendete Notation (Großbuchstaben für Prozesse, Kleinbuchstaben für Komm.-kanäle, etc.) gehört auch beschrieben.

Beispiel

Anstelle eines Beipiels mit drei nebenläufigen Prozessen (und vier Kanälen), könnte ein einfacheres mit zwei Prozessen (Client und Server) und einem Kanal verwendet (und vor allem auch ausführlich erklärt) werden.

(Der Artikel zu Lambda-Kalkül ist m.E. gut geschrieben und kann als Vorbild dienen)--H3xc0d3r (Diskussion) 20:41, 15. Jan. 2016 (CET)