Constraints Meet Concurrency

By Jacopo Mauro

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

• Format: Hardcover
• Language: English
• ISBN: 9462390665
• ISBN13: 9789462390669
• Release Date: February 2014
• Publisher: Atlantis Press
• Length: 148 Pages
• Weight: 0.91 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"