01112cam1-2200361---450-99000211474020331620141105143242.0000211474USA01000211474(ALEPH)000211474USA0100021147420041027d2003----km-y0enga50------baitaIT||||||||001yyDiritto degli enti localia cura di Ferdinando PintoTorinoGiappichelli2003-volumi24 cm0019900011032302033162001 <<Vol. 1:>> Parte generale0019900024030702033162001 <<Vol. 2>> : <<Le>> funzioni e l'organizzazioneEnti localiDirittoItalia342.4509PINTO,FerdinandoITsalbcISBD990002114740203316IG II 1015G.IG IIBKGIUALINA9020041027USA011142MARIASEN9020050224USA011749CHIARA9020141105USA011432Diritto degli enti locali734050UNISA03402nam 22006015 450 991030015590332120250717140256.094-6239-067-310.2991/978-94-6239-067-6(CKB)3710000000088338(SSID)ssj0001175805(PQKBManifestationID)11755000(PQKBTitleCode)TC0001175805(PQKBWorkID)11122434(PQKB)10759361(MiAaPQ)EBC1698041(DE-He213)978-94-6239-067-6(PPN)176751408(EXLCZ)99371000000008833820140211d2014 u| 0engurcnu||||||||txtccrConstraints Meet Concurrency /by Jacopo Mauro1st ed. 2014.Paris :Atlantis Press :Imprint: Atlantis Press,2014.1 online resource (151 pages) illustrationsAtlantis Studies in Computing,2212-8565 ;5Bibliographic Level Mode of Issuance: Monograph94-6239-066-5 Includes bibliographical references at the end of each chapters.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.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 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.Atlantis Studies in Computing,2212-8565 ;5Compilers (Computer programs)Machine theoryCompilers and InterpretersFormal Languages and Automata TheoryCompilers (Computer programs)Machine theory.Compilers and Interpreters.Formal Languages and Automata Theory.005.11Mauro Jacopoauthttp://id.loc.gov/vocabulary/relators/aut721169MiAaPQMiAaPQMiAaPQBOOK9910300155903321Constraints meet concurrency1410042UNINA