Hej, mam problem ze zrozumieniem zadania dotyczącego tworzenia modelu systemu współbieżnego z zastosowaniem algebry procesów CCS.
Przykładowy model systemu poniżej (problem producentów i konsumentów):
agent Producer = produce.’put.Producer;
agent Consumer = get.consume.Consumer;
agent Buffer = put.Buffer1;
agent Buffer1 = put.Buffer2 + ’get.Buffer;
agent Buffer2 = ’get.Buffer1;
set S = {put, get};
agent System = (Producer | Buffer | Consumer)\S;
Powyższe zadanie znalazłam, gdzieś w internecie. Mój problem polega na tym, że nie mogę pojąć algorytmu tworzenia takiego systemu. Przykładów jest dosyć dużo (niestety bardziej rozbudowane), jednak nigdzie nie ma tego jakoś sensownie opisanego.
Nie liczę na wiele, bo jestem świadoma, że to coś mało popularnego, ale jakby ktoś jednak dysponował jakąś wiedzą na ten temat, to bardzo proszę o pomoc.