Автор: Holger Hermanns; Roberto Segala Название: Process Algebra and Probabilistic Methods: Performance Modeling and Verification ISBN: 3540439137 ISBN-13(EAN): 9783540439134 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Constitutes the proceedings of the Joint International Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, held in Denmark in 2002. The 10 papers cover fault-tolerant systems, security analysis, probabilistic protocols, reduction refinement, and more.
Автор: Luca de Alfaro; Stephen Gilmore Название: Process Algebra and Probabilistic Methods. Performance Modelling and Verification ISBN: 354042556X ISBN-13(EAN): 9783540425564 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the Joint Workshop on Process Algebra and Performance Modeling and Probabilistic Methods in Verification, PAPM-PROBMIV 2001, held in Aachen, Germany in September 2001.The 12 revised full papers presented together with one invited paper were carefully reviewed and selected from 23 submissions.