Dirk A. Taubner Finite Representations of CCS and TCSP Programs by Automata and Petri Nets 9783540515258

Варианты приобретения

Цена: 9781.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-10-27
Ориентировочная дата поставки: Декабрь
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Dirk A. Taubner
Название: Finite Representations of CCS and TCSP Programs by Automata and Petri Nets
ISBN: 9783540515258
Издательство: Springer
Классификация:

Параллельная обработка данных

ISBN-10: 3540515259
Обложка/Формат: Paperback
Страницы: 172
Вес: 0.27 кг.
Дата издания: 09.08.1989
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 10
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Focuses on different approaches for the modelling of parallel processes. On the one hand there are the so-called `process algebras` or `abstract programming languages` with Milner`s Calculus of Communicating Systems (CCS) and the theoretical version of Hoare`s Communicating Sequential Processes (CSP) as main representatives.

Finite Representations of CCS and TCSP Programs by Automata and Petri Nets, Dirk A. Taubner