Constraints Meet Concurrency

Author:   Jacopo Mauro
Publisher:   Atlantis Press (Zeger Karssen)
Edition:   2014 ed.
Volume:   5
ISBN:  

9789462390669


Pages:   148
Publication Date:   25 February 2014
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Constraints Meet Concurrency


Add your own review!

Overview

Full Product Details

Author:   Jacopo Mauro
Publisher:   Atlantis Press (Zeger Karssen)
Imprint:   Atlantis Press (Zeger Karssen)
Edition:   2014 ed.
Volume:   5
Dimensions:   Width: 15.50cm , Height: 1.10cm , Length: 23.50cm
Weight:   3.731kg
ISBN:  

9789462390669


ISBN 10:   9462390665
Pages:   148
Publication Date:   25 February 2014
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

RGJUNE2025

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List