Meines Wissens gibt es drei Hauptprozessalgebren, die eine breite Palette von Forschungen zu formalen Modellen der Parallelität inspiriert haben. Diese sind: CCS und Kalkül beide von Robin Milnerππ\pi CSP von Tony Hoare und ACP von Jan Bergstra und Jan Willem Klop Alle drei scheinen bis heute eine...
Bei einem markierten Übergangssystem ist eine Menge von Zuständen, eine Menge von Markierungen und eine ternäre Beziehung. Schreiben Sie wie üblich für . Der markierte Übergang dass das System im Zustand Zustand mit label \ alpha in q ändert , was bedeutet, dass \ alpha eine beobachtbare Aktion...
Getränkespender muss den Benutzer eine Münze (zum Einfügen ) und drückt eine der drei Tasten: ˉ d Tee fordert eine Tasse Tee e Tee , dito für Kaffee und ˉ r fordert eine Rückerstattung (dh die Maschine zurück gibt die Münze: ˉ b ). Dieser Spender kann durch den folgenden CCS- Prozess modelliert...