Constraints Meet Concurrency (Atlantis Studies in Computing)
Jacopo Mauro
€ 66.66
FREE Delivery in Ireland
Description for Constraints Meet Concurrency (Atlantis Studies in Computing)
Hardcover. Constraints Meet Concurrency Series: Atlantis Studies in Computing. Num Pages: 163 pages, 13 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational. Dimension: 243 x 160 x 14. Weight in Grams: 396.
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language ... Read more
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in concurrency theory to increase the conciseness and the expressive power of concurrent languages from a pragmatic point of view. On the other hand, problems modeled by using constraints can be solved faster and more efficiently using a concurrent system. Both directions are explored providing two separate lines of development. Firstly the expressive power of a concurrent language is studied, namely Constraint Handling Rules, that supports constraints as a primitive construct. The features of this language ... Read more
Product Details
Format
Hardback
Publication date
2014
Publisher
Atlantis Press
Condition
New
Series
Atlantis Studies in Computing
Number of Pages
148
Place of Publication
, Netherlands
ISBN
9789462390669
SKU
V9789462390669
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Constraints Meet Concurrency (Atlantis Studies in Computing)