0

Constraints Meet Concurrency

Atlantis Studies in Computing 5

Erschienen am 01.04.2014, Auflage: 1. Auflage
CHF 66,90
(inkl. MwSt.)

Noch nicht lieferbar

In den Warenkorb
Bibliografische Daten
ISBN/EAN: 9789462390669
Sprache: Englisch
Einband: Gebunden

Beschreibung

InhaltsangabeIntroduction.- Constraints.- Concurrency.- Constraint Handling Rules.- Non Turing powerful fragments of CHR.- Expressive power of priorities in CHR.- Constraints in Clouds.- A Classification-based Approach to Manage a Solver Portfolio.- Broadcast messages in Jolie.- Interruptible request responses in Jolie.- Conclusions.- References.- Proofs.

Weitere Artikel vom Autor "Mauro, Jacopo"

Alle Artikel anzeigen