Запитання з тегом «process-algebra»

Чи можете ви моделювати надійні трансляції в пі-рахунку? Якщо так: як? Якщо ні: Чи є подібні алгебри процесів, де ви можете? Що я спробував: Якщо відправник хоче послати повідомлення всього до , ви могли б написати ! ( і до . Але як ви гарантуєте, що повторюється разів, тобто жодне …

16 pl.programming-languages  formal-modeling  process-algebra  pi-calculus 

Робін Мілнер визначав біграфи як тип графічної структури зі структурою, подібною до графіка, але там, де вузли можуть бути вкладені. Вони узагальнюють обчислення процесів, як CCS та -розрахунок, але, схоже, Мілнер мав намір їх використовувати набагато загальніше: семінар зазначає незадовго до смерті детально останні події.ππ\pi Оглядаючись назад, а не вперед, …

14 process-algebra  ho.history-overview 

Моє підґрунтя полягає в теорії та логіці складності (там, де більшість часу є лише один процес), і в розподілених обчисленнях (де є процесів, і один або більше з часом можуть вийти з ладу). Однак зараз я хочу мати можливість сказати щось про нерест / створення / спінінг іншого процесу. Чи …

13 dc.parallel-comp  process-algebra 

Я деякий час мене дуже цікавила теорія мови програмування та обчислення процесів, і я почав їх вивчати. Якщо чесно, то я б не проти зайнятися кар’єрою. Я вважаю теорію неймовірно захоплюючою. Одне постійне запитання, над яким я продовжую працювати, - це чи теорія PL чи технологічний розрахунок процесу взагалі мають …

10 pl.programming-languages  process-algebra