Als «ccs» getaggte Fragen

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 …

11 logic  concurrency  modelling  process-algebras  ccs