Оглавление
Окружающий математический анализ
-
Основы Ambient calculus
- Ambient calculus разработан для описания и теоретизации параллельных систем с мобильностью.
- Мобильность включает вычисления на мобильных устройствах и код, способный перемещаться по сети.
-
Структура и операции
- Окружение является фундаментальным примитивом, определяемым как ограниченное пространство для вычислений.
- Окружение имеет имена для управления доступом и может быть вложено в другие окружения.
- Операции включают ввод, вывод, открытие и копирование окружения, а также сокращение результатов операций.
-
Коммуникация и нелокальный ввод-вывод
- Коммуникация внутри окружения анонимна и асинхронна.
- Нелокальный ввод-вывод может быть смоделирован с использованием мобильных агентов или эмуляции каналов.
-
Связь с другими областями
- Ambient calculus связан с лямбда-исчислением, подвижными мембранами, теорией типов и API-математическим анализом.
-
Дополнительные ресурсы
- Статья содержит ссылки на внешние ресурсы, включая статью о мобильной вычислительной среде от Луки Карделли.