Rachunek procesowy


Rachunek procesowy w encyklopedii

Z Wikipedii, wolnej encyklopedii Przejdź do nawigacji Przejdź do wyszukiwania

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)[1] 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[1]. Przykładami rachunku procesowego są:

Przypisy | edytuj kod

  1. a b J.C.M.J.C.M. Baeten J.C.M.J.C.M., A Brief History of Process Algebra .
Na podstawie artykułu: "Rachunek procesowy" pochodzącego z Wikipedii
OryginałEdytujHistoria i autorzy