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.)

True Concurrency and Atomicity

Franco:True Concurrency and Atomicity
Autor: Alberto Franco
Verfügbarkeit: Auf Lager.
Artikelnummer: 744390
ISBN / EAN: 9783659801020

Verfügbarkeit: sofort lieferbar

54,90
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: LAP Lambert Academic Publishing
  • ISBN / EAN: 9783659801020
  • Bindung: Taschenbuch

Produktbeschreibung

Concurrent software is notoriously error-prone due to the possible unexpected interactions between concurrently executing processes. Testing is often not effective in discovering such errors since such intereferences heavily depends on the chosen scheduling and can appear very rarely. In the book we propose an approach for statically proving the absence of undesired interferences in concurrent programs. The approach is based on the definition of a so-called true concurrent semantics of the program which explicitly describes the possibly concurrent computation steps and their mutual dependencies. In the analysis we focus on atomicity properties, which assert that a program block acts in any computation as it were executed in isolation.

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: True Concurrency and Atomicity

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

Sie könnten auch an folgenden Produkten interessiert sein