Systemy i architekturaobiekt

rachunek pi

π-calculus

Algebra procesów modelująca współbieżność z mobilnością — nazwy kanałów mogą być przesyłane jako komunikaty, zmieniając topologię połączeń.

Typ
obiekt
Pojęcie nadrzędne
algebra procesów
Źródło
Milner, Communicating and Mobile Systems: The Pi-Calculus

Zobacz też

Chcesz wykorzystać AI w swojej firmie?

Wdrażamy chatboty, agentów głosowych i automatyzacje dla MŚP. Pierwsza konsultacja jest bezpłatna.

Bezpłatna konsultacja