CSP as a Coordination Language

Name: CSP as a Coordination Language
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838122717
Price: 77.61 EUR
Availability: InStock

A CSP-based Approach to the Coordination of Concurrent Systems

Autor: Moritz Kleine

Jazyk:

Väzba: Brožovaná

Vydavateľ: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

77.61 €

The process algebra Communicating Sequential Processes (CSP) offers a way of taming the complexity o...

Informácie o knihe

Autor

Moritz Kleine

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2011

Stránok

204

EAN

9783838122717

ISBN

3838122712

Enbook ID

06986306

Vydavateľ

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Hmotnosť

304

Rozmery

152 x 229 x 12

Kompletný popis

The process algebra Communicating Sequential Processes (CSP) offers a way of taming the complexity of concurrent systems by focusing on the interaction behavior of systems and abstracting from synchronization mechanisms and other implementation details. However, the derivation of a system's implementation from its CSP-based model is still a problem and subject to ongoing research. It is, for example, not obvious how to integrate CSP with internal actions of a system, because CSP abstracts from internal actions to a great extent. As a solution, this book presents the use of CSP as a formal coordination language for arbitrary sequential host languages. The benefit of this approach is that CSP can be used not only for the design and verification of concurrent systems but also for their implementation. This book focuses on the theory of a suitable coordination environment. Moreover, the implementation of a CSP-based coordination environment for the target language Java is presented along with a case study of constructing a workflow server as a coordinated concurrent Java program.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

CSP as a Coordination Language

A CSP-based Approach to the Coordination of Concurrent Systems

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež