Pi-Kalkül
Der π-Kalkül ist eine Prozeßalgebra. Er formalisiert das Konzept der nachrichtenbasierten Kooperation mittels Kommunikation von Kanalnamen. Er erlaubt die Beschreibung von Prozeß-Systemen, in denen sich die Kommunikationstopologie dynamisch ändert.
Eine um kryptographische Primitiven erweiterte Fassung des π-Kalküls ist der Spi-Kalkül.
Literatur
- Communicating and Mobile Systems, Robin Milner, ISBN 0521643201
22px|leftDieser Artikel ist noch sehr kurz. Überarbeite und verbessere ihn, wenn du kannst. Möchtest du jetzt diese Seite bearbeiten?