CSP as a Coordination Language
Moritz Kleine
Broschiertes Buch

CSP as a Coordination Language

A CSP-based Approach to the Coordination of Concurrent Systems

Versandkostenfrei!
Versandfertig in 6-10 Tagen
58,99 €
inkl. MwSt.
PAYBACK Punkte
29 °P sammeln!
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 coor...