MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 30 99 99 (0,14 €/Min., Mobil max. 0,42 €/Min.)

CSP as a Coordination Language

Kleine:CSP as a Coordination Language
Autor: Moritz Kleine
Verfügbarkeit: Auf Lager.
Artikelnummer: 1182788
ISBN / EAN: 9783838122717

Verfügbarkeit: sofort lieferbar

89,90
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: Südwestdeutscher Verlag für Hochschulschriften
  • ISBN / EAN: 9783838122717
  • Bindung: Taschenbuch

Produktbeschreibung

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.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: CSP as a Coordination Language

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!

Sie könnten auch an folgenden Produkten interessiert sein