Prozesskalküle (oder auch Prozessalgebren) umfassen eine große Familie von Ansätzen zur formalen Modellierung von nebenläufigen Systemen.
Sie erlauben die abstrakte Beschreibung von Interaktion, Kommunikation und Synchronisation zwischen einer Gruppe von unabhängigen Agenten oder Prozessen. Algebraische Gesetze ermöglichen die Analyse oder Umformung von Prozessbeschreibungen.
Beispiele für Prozesskalküle sind CSP, CCS, ACP oder der Pi-Kalkül.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.