Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
CSP as a Coordination Language
A CSP-based Approach to the Coordination of Concurrent Systems
engleză
205 b
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Calendar
298.02
lei
/
Carte broșată
94.08
lei
/
Carte broșată
368.58
lei
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.
Informații despre carte
engleză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
/
Copertă tare
647.54
lei
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?