Rachunek procesowy
Sign in to saveAlso known as process algebras
diverse family of related approaches for formally modelling concurrent systems
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 · Polski
Rachunek procesowy, lub rachunek procesów (ang. process calculus), także algebra procesów (ang. process algebra) – stosowane w informatycznej teorii konkurencji (ang. concurrency theory) zbiorcze określenie na różnorodne podejścia do opisu formalnego modelowania, analizy i tranformacji systemów współbieżnych (równoległych i rozproszonych). Pozwalają na abstrakcyjny opis interakcji, komunikacji i synchronizacji między grupą niezależnych agentów lub procesów. Przykładami rachunku procesowego są: * komunikacyjne procesy sekwencyjne (ang. communicating sequential processes, CSP), * (ang. calculus of communicating systems, CCS), * (ang. algebra of communicating processes, ACP), * (ang. ambient calculus), * (ang. π-calculus).
Abstract from DBpedia / Wikipedia · CC BY-SA