Book Volume 5 2014

Constraints Meet Concurrency

Authors:

ISBN: 978-94-6239-066-9 (Print) 978-94-6239-067-6 (Online)

Table of contents (11 chapters)

  1. Front Matter

    Pages i-xv

  2. No Access

    Chapter

    Pages 1-3

    Introduction

  3. Constraint and Concurrency Overview

    1. Front Matter

      Pages 5-5

    2. No Access

      Chapter

      Pages 7-15

      Constraints

    3. No Access

      Chapter

      Pages 17-25

      Concurrency

  4. Constraints in Concurrent Languages

    1. Front Matter

      Pages 27-27

    2. No Access

      Chapter

      Pages 29-36

      Constraint Handling Rules

    3. No Access

      Chapter

      Pages 37-48

      Non Turing Powerful Fragments of CHR

    4. No Access

      Chapter

      Pages 49-66

      Expressive Power of Priorities in CHR

  5. Solving Constraints Exploiting Concurrent Systems

    1. Front Matter

      Pages 67-67

    2. No Access

      Chapter

      Pages 69-76

      Constraints in Clouds

    3. No Access

      Chapter

      Pages 77-93

      A Classification-Based Approach to Manage a Solver Portfolio

    4. No Access

      Chapter

      Pages 95-109

      Broadcast Messages in Jolie

    5. No Access

      Chapter

      Pages 111-126

      Interruptible Request Responses in Jolie

    6. No Access

      Chapter

      Pages 127-129

      Conclusions

  6. Back Matter

    Pages 131-148