LEADER 01204nam--2200361---450- 001 990003646030203316 005 20120330134556.0 010 $a978-90-04-17509-9 035 $a000364603 035 $aUSA01000364603 035 $a(ALEPH)000364603USA01 035 $a000364603 100 $a20120330d2009----km-y0itay50------ba 101 $aeng 102 $aNL 105 $ay|||||||001yy 200 1 $aIn search of the perfect citizen?$ethe intersection between integration, immigration and nationality in the EU$fby Sergio Carrera 210 $aLeiden$aBoston$cNijhoff$d2009 215 $aXI, 528 p.$d24 cm 225 2 $aImmigration and asylum law and policy in Europe$v17 410 0$12001$aImmigration and asylum law and policy in Europe$v, 17 606 0 $aCittadinanza$yUnione europea$2BNCF 676 $a342.24083$v22 700 1$aCARRERA,$bSergio$0611987 801 0$aIT$bsalbc$gISBD 912 $a990003646030203316 951 $aXXIII.4.G. 124$b73738 G.$cXXIII.4.G.$d00309039 959 $aBK 969 $aGIU 979 $aCHIARA$b90$c20120330$lUSA01$h1344 979 $aCHIARA$b90$c20120330$lUSA01$h1345 996 $aIn search of the perfect citizen$91138066 997 $aUNISA LEADER 05306nam 22007575 450 001 9910143466103321 005 20250730110225.0 010 $a3-540-49019-1 024 7 $a10.1007/3-540-49019-1 035 $a(CKB)1000000000211073 035 $a(SSID)ssj0000323280 035 $a(PQKBManifestationID)11937901 035 $a(PQKBTitleCode)TC0000323280 035 $a(PQKBWorkID)10299283 035 $a(PQKB)11135944 035 $a(DE-He213)978-3-540-49019-7 035 $a(MiAaPQ)EBC3071652 035 $a(MiAaPQ)EBC6485747 035 $a(PPN)155215221 035 $a(BIP)48251567 035 $a(EXLCZ)991000000000211073 100 $a20121227d1999 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computation Structures $eSecond International Conference, FOSSACS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings /$fedited by Wolfgang Thomas 205 $a1st ed. 1999. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1999. 215 $a1 online resource (X, 330 p.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v1578 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-65719-3 320 $aIncludes bibliographical references and index. 327 $aSecurity Protocols and Specifications -- An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis -- Reasoning about Concurrent Systems Using Types -- Testing Hennessy-Milner Logic with Recursion -- A Strong Logic Programming View for Static Embedded Implications -- Unfolding and Event Structure Semantics for Graph Grammars -- Expanding the Cube -- An Algebraic Characterization of Typability in ML with Subtyping -- Static Analysis of Processes for No Read-Up and No Write-Down -- A WP-calculus for OO -- The Recognizability Problem for Tree Automata with Comparisons between Brothers -- A Theory of ?May? Testing for Asynchronous Languages -- A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees -- Categorical Models of Explicit Substitutions -- Equational Properties of Mobile Ambients -- Model Checking Logics for Communicating Sequential Agents -- A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects -- String Languages Generated by Total Deterministic Macro Tree Transducers -- Matching Specifications for Message Sequence Charts -- Probabilistic Temporal Logics via the Modal Mu-Calculus -- A ?-calculus Process Semantics of Concurrent Idealised ALGOL. 330 $aThe International Conference "Foundations of Software Science and Compu- tion Structures" (FOSSACS) is a constituent of the "Joint European Conferences on Theoryand Practice of Software" (ETAPS). The present volume contains the contributions to FOSSACS'99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on "papers which o'er progress in foundational research with a clear signi'cance for software science. A central issue is theories and methods which support the speci'cation, tra- formation, veri'cation, and analysis of programs and software systems." The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one ?nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The ?rst, byM. Abadi, accompanies his "unifying invited lecture" addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS'99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS'99. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v1578 606 $aSoftware engineering 606 $aComputer science 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aMachine theory. 615 0$aCompilers (Computer programs) 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aCompilers and Interpreters. 676 $a005.1 702 $aThomas$b Wolfgang$f1947- 712 12$aInternational Joint Conference on Theory and Practice of Software Development$d(9th :$f1999 :$eAmsterdam, Netherlands), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143466103321 996 $aFoundations of Software Science and Computation Structures$9772187 997 $aUNINA