LEADER 03639nam  22006015  450 
001 9910300155903321
005 20200701013713.0
010   $a94-6239-067-3
024 7 $a10.2991/978-94-6239-067-6
035   $a(CKB)3710000000088338
035   $a(SSID)ssj0001175805
035   $a(PQKBManifestationID)11755000
035   $a(PQKBTitleCode)TC0001175805
035   $a(PQKBWorkID)11122434
035   $a(PQKB)10759361
035   $a(MiAaPQ)EBC1698041
035   $a(DE-He213)978-94-6239-067-6
035   $a(PPN)176751408
035   $a(EXLCZ)993710000000088338
100   $a20140211d2014      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aConstraints Meet Concurrency /$fby Jacopo Mauro
205   $a1st ed. 2014.
210  1$aParis :$cAtlantis Press :$cImprint: Atlantis Press,$d2014.
215   $a1 online resource (151 pages) $cillustrations
225 1 $aAtlantis Studies in Computing,$x2212-8557 ;$v5
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a94-6239-066-5 
320   $aIncludes bibliographical references at the end of each chapters.
327   $aIntroduction -- 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.
330   $aThis 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 which make it Turing powerful are shown. Then a framework is proposed to solve constraint problems that is intended to be deployed on a concurrent system. For the development of this framework the concurrent language Jolie following the Service Oriented paradigm is used. Based on this experience, an extension to Service Oriented Languages is also proposed in order to overcome some of their limitations and to improve the development of concurrent applications.
410  0$aAtlantis Studies in Computing,$x2212-8557 ;$v5
606   $aProgramming languages (Electronic computers)
606   $aMathematical logic
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aProgramming languages (Electronic computers).
615  0$aMathematical logic.
615 14$aProgramming Languages, Compilers, Interpreters.
615 24$aMathematical Logic and Formal Languages.
676   $a005.11
700   $aMauro$b Jacopo$4aut$4http://id.loc.gov/vocabulary/relators/aut$0721169
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910300155903321
996   $aConstraints meet concurrency$91410042
997   $aUNINA