Описание: 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.
Автор: Jorg Desel Название: Free Choice Petri Nets ISBN: 0521019451 ISBN-13(EAN): 9780521019453 Издательство: Cambridge Academ Рейтинг: Цена: 6494.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
