Według mojej wiedzy istnieją trzy główne algebry procesowe, które zainspirowały szeroki zakres badań nad formalnymi modelami współbieżności. To są: CCS i -calculus oba autorstwa Robina Milneraππ\pi CSP Tony Hoare i ACP: Jan Bergstra i Jan Willem Klop Wydaje się, że wszyscy trzej mają do dzisiaj...
Biorąc pod uwagę oznaczony system przejścia , gdzie jest zbiorem stanów, jest zbiorem etykiet, a jest relacją trójskładnikową. Jak zwykle napisz dla . Oznaczone przejście oznacza, że system w stanie zmienia stan na z etykietą , co oznacza, że to pewne obserwowalne działanie, które powoduje zmianę...
Dozownik napojów wymaga od użytkownika włożenia monety ( do¯c¯\bar c ), a następnie naciśnięcia jednego z trzech przycisków: prosi o filiżankę herbaty , to samo na kawę, i prosi o zwrot pieniędzy (tzn. maszyna zwraca monetę: ). Dozownik można modelować za pomocą następującego procesu CCS :eherbaty...