Tracked shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada A Process Algebraic Approach to Software Architecture Design
Type
Physical Book
Author
Publisher
Language
English
Pages
304
Format
Paperback
Dimensions
23.4 x 15.6 x 1.7 cm
Weight
0.45 kg.
ISBN13
9781447157663
Edition No.
2010th
Categories

A Process Algebraic Approach to Software Architecture Design

Flavio Corradini (Author) · Alessandro Aldini (Author) · Marco Bernardo (Author) · Springer · Paperback

A Process Algebraic Approach to Software Architecture Design - Aldini, Alessandro ; Bernardo, Marco ; Corradini, Flavio

Cheaper New Book Imported to Taiwan
Delivery: 04 Aug - 17 Aug Shipping: 13 to 17 business days.
NT$ 1,864
Faster New Book Imported to Taiwan
Delivery: 23 Jul - 31 Jul Shipping: 5 to 6 business days.
NT$ 2,323
NT$ 1,864

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "A Process Algebraic Approach to Software Architecture Design"

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 process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews