везде Расширенный поиск
книги Компьютеры и Интернет Устройство компьютера, “железо”

Pierre-Lo?c Garoche

Static Analysis of Actors by Abstract Interpretation. Applying Abstract Interpretation to an Higher Order Process Calculus

Код 1459016

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Static Analysis of Actors by Abstract Interpretation. Applying Abstract Interpretation to an Higher Order Process Calculus"

The Actor model, introduced by Hewitt and Agha in the late 80s, describes a concurrent communicating system as a set of autonomous agents, with non uniform interfaces and communicating by the use of labeled messages. The CAP process calculus, proposed by Colaco, is based on this model and allows to describe non trivial realistic systems, without the need of complex encodings. CAP is a higher-order calculus: messages can carry actor behaviors. Multiple works address the analysis of CAP...

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
Дата выхода: июль 2011
ISBN: 978-3-8433-8954-9
Объём: 232 страниц
Масса: 374 г
Размеры(высота, ширина, толщина), см: 23 x 16 x 2

Вместе с этой книгой покупают

Основы Java. Второе издание
Основы Java. Второе издание бумажная книга
Николай Прохоренок
28.31 USD
В корзину
-32%
Кино. Европа. Средние века
Кино. Европа. Средние века бумажная книга
Лидия Скрябина
22.92 USD 15.59 USD
В корзину
Software Dynamics: оптимизация производительности программного обеспечения
Software Dynamics: оптимизация... бумажная книга
Ричард Л. Сайтс
43.54 USD
В корзину
-30%
Head First. Git
Head First. Git бумажная книга
Раджу Ганди
24.99 USD 17.49 USD
В корзину
Жили-были книжки: День и ночь
Жили-были книжки: День и ночь бумажная книга
Нет в продаже
-3%
Есть идея! История ИКЕА
Есть идея! История ИКЕА бумажная книга
Ингвар Кампрад
12.65 USD 12.27 USD
В корзину

Просмотренные товары