Stock image for illustration purposes only - book cover, edition or condition may vary.
Process Algebraic Approach to Software Architecture Design
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
€ 64.41
FREE Delivery in Ireland
Description for Process Algebraic Approach to Software Architecture Design
Paperback. This book presents a new paradigm that allows modeling and analysis of software applications at an early stage of the design process. It covers foundational aspects before introducing guidelines and methodologies to exemplify case studies. Num Pages: 319 pages, biography. BIC Classification: UMZ; UYD. Category: (G) General (US: Trade). Dimension: 235 x 155 x 17. Weight in Grams: 492.
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on ... Read more
Inthe?eldofformalmethodsincomputerscience,concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on ... Read more
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer London Ltd United Kingdom
Number of pages
319
Condition
New
Number of Pages
304
Place of Publication
England, United Kingdom
ISBN
9781447157663
SKU
V9781447157663
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Process Algebraic Approach to Software Architecture Design