Можете ли вы моделировать надежные трансляции в пи-исчислении? Если так: как? Если нет: есть ли подобные алгебры процессов, где вы можете? Что я пробовал: Если отправитель хочет послать сообщение у всего Р 1 до Р п , можно написать ! ( ¯ х года ) . S и x ( z ) . P 1 до x ( z ) . П н . Но как вы...
Робин Милнер определил биграфы как тип графической структуры с графоподобной структурой, где узлы могут быть вложенными. Они обобщают исчисления процессов, такие как CCS и калькуляция, но Мильнер, похоже, намеревался использовать их гораздо более широко: в записках семинара незадолго до его смерти...
Я имею опыт работы в теории / логике сложности (где большую часть времени занимает только один процесс) и в распределенных вычислениях (где есть процессов, и один или несколько могут со временем выйти из строя). Однако теперь я хочу сказать что-то о процессе, порождающем / создающем / порождающем...
Некоторое время я очень интересовался теорией языка программирования и процессными исчислениями и начал их изучать. Честно говоря, это то, что я не прочь заняться карьерой. Я считаю, что теория невероятно увлекательна. Один постоянный вопрос, с которым я постоянно сталкиваюсь, заключается в том,...