Вопросы с тегом «process-algebra»

Можете ли вы моделировать надежные трансляции в пи-исчислении? Если так: как? Если нет: есть ли подобные алгебры процессов, где вы можете? Что я пробовал: Если отправитель хочет послать сообщение у всего Р 1 до Р п , можно написать ! ( ¯ х года ) . S и x ( …

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