Produktbild: Constraints Meet Concurrency

Constraints Meet Concurrency

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Atlantis Studies in Computing 5

ISBN: 9462390665
ISBN 13: 9789462390669
Autor: Mauro, Jacopo
Verlag: Springer Verlag GmbH
Umfang: xv, 148 S., 13 s/w Illustr., 148 p. 13 illus.
Erscheinungsdatum: 25.02.2014
Auflage: 1/2014
Produktform: Gebunden/Hardback
Einband: Gebunden

A new approach to combine constraint programming and concurrency theoryBest 2012 doctoral dissertation in theoretical computer science and logic by Italian EATCS chapterBest 2012 doctoral dissertation in computation logic by GULPIncludes supplementary material: sn.pub/extras

Artikelnummer: 6069839 Kategorie:

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …