Wikidata facts
- Subclass of
- mathematical model
- Has use
- concurrent computing
Show 1 more fact
- topic's main category
- Category:Process calculi
via Wikidata · CC0
Article · Deutsch
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, , oder der Pi-Kalkül.
Abstract from DBpedia / Wikipedia · CC BY-SA