Оглавление [Скрыть]
Соединение-исчисление
-
Основы Join-Calculus
- Join-Calculus разработан в INRIA для создания распределенных языков программирования.
- Избегает коммуникационных конструкций, таких как rendezvous, которые сложны в распределенной среде.
- Несмотря на ограничения, Join-Calculus столь же выразителен, как и полное π-исчисление.
-
Кодирование и обратное кодирование
- Были продемонстрированы кодировки π-исчисления в Join-Calculus и наоборот.
-
Особенности Join-Calculus
- Ограничение области действия, прием и реплицированный прием объединены в единую конструкцию.
- Связь осуществляется только по определенным именам.
- Для каждого определенного имени существует только один реплицированный прием.
-
Преимущества Join-Calculus
- Использование шаблонов многоходового соединения для сопоставления с сообщениями из нескольких каналов.
-
Реализации Join-Calculus
- Существуют языки программирования, основанные на Join-Calculus, включая OCaml, C#, Java и другие.
- Некоторые реализации не изменяют базовый язык программирования, а вводят операции через пользовательские библиотеки или DSL.
-
Рекомендации
- Ссылки на внешние ресурсы, включая домашнюю страницу INRIA и исследования Microsoft Research.