Registrieren Passwort vergessen?

Pi-Kalkül

31. Mai 2008, 09:50

Der π-Kalkül ist eine Prozessalgebra. Er formalisiert das Konzept der nachrichtenbasierten Kooperation mittels Kommunikation von Kanalnamen. Er erlaubt die Beschreibung von Prozess-Systemen, in denen sich die Kommunikationstopologie dynamisch ändert.

Eine um kryptographische Primitive erweiterte Fassung des π-Kalküls ist der Spi-Kalkül.

[Bearbeiten] Literatur

[Bearbeiten] Weblinks

Von „http://de.wikipedia.org/wiki/Pi-Kalk%C3%BCl“
Dieser Artikel ist eine Kopie aus der freien Enzyklopädie Wikipedia. Am Originalartikel kann jeder Korrekturen und Ergänzungen vornehmen. Zudem kann man frühere Versionen einsehen.
In Kooperation mit Lycos Europe Network