LEADER 02143nam 2200685Ia 450 001 9910449889903321 005 20200520144314.0 010 $a1-4237-6639-3 010 $a9786612254451 010 $a90-272-9560-3 010 $a1-282-25445-6 035 $a(CKB)1000000000003017 035 $a(OCoLC)70773831 035 $a(CaPaEBR)ebrary10056611 035 $a(SSID)ssj0000156345 035 $a(PQKBManifestationID)12003728 035 $a(PQKBTitleCode)TC0000156345 035 $a(PQKBWorkID)10123948 035 $a(PQKB)10723198 035 $a(MiAaPQ)EBC622570 035 $a(Au-PeEL)EBL622570 035 $a(CaPaEBR)ebr10056611 035 $a(CaONFJC)MIL225445 035 $a(OCoLC)732804626 035 $a(EXLCZ)991000000000003017 100 $a20040130d2004 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFocus structure in generative grammar$b[electronic resource] $ean integrated syntactic, semantic and intonational approach /$fCarsten Breul 210 $aPhiladelphia, PA $cJ. Benjamins$d2004 215 $a1 online resource (442 p.) 225 1 $aLinguistic aktuell/linguistics today,$x0166-0829 ;$vv. 68 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a90-272-2792-6 311 $a1-58811-503-8 320 $aIncludes bibliographical references and index. 410 0$aLinguistik aktuell ;$vBd. 68. 606 $aFocus (Linguistics) 606 $aGenerative grammar 606 $aGrammar, Comparative and general$xSyntax 606 $aSemantics 606 $aIntonation (Phonetics) 608 $aElectronic books. 615 0$aFocus (Linguistics) 615 0$aGenerative grammar. 615 0$aGrammar, Comparative and general$xSyntax. 615 0$aSemantics. 615 0$aIntonation (Phonetics) 676 $a415/.0182 700 $aBreul$b Carsten$0167407 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910449889903321 996 $aFocus structure in generative grammar$91969442 997 $aUNINA LEADER 04247nam 22007935 450 001 9910484496503321 005 20251226203110.0 010 $a3-642-02053-4 024 7 $a10.1007/978-3-642-02053-7 035 $a(CKB)1000000000753965 035 $a(SSID)ssj0000317030 035 $a(PQKBManifestationID)11250377 035 $a(PQKBTitleCode)TC0000317030 035 $a(PQKBWorkID)10287834 035 $a(PQKB)11364934 035 $a(DE-He213)978-3-642-02053-7 035 $a(MiAaPQ)EBC3064269 035 $a(PPN)136306500 035 $a(EXLCZ)991000000000753965 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCoordination Models and Languages $e11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings /$fedited by John Field, Vasco Thudichum Vasconcelos 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (XII, 307 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v5521 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-02052-6 320 $aIncludes bibliographical references and index. 327 $aInvited Talk -- Hop, a Fast Server for the Diffuse Web -- Languages and Systems -- High-Performance Transactional Event Processing -- Exceptionally Safe Futures -- Enhanced Coordination in Sensor Networks through Flexible Service Provisioning -- Fairness for Chorded Languages -- Semantic Models and Calculi -- Mobility Models and Behavioural Equivalence for Wireless Networks -- Parametrised Constants and Replication for Spatial Mobility -- Biochemical Tuple Spaces for Self-organising Coordination -- Joint Session -- Multicore Scheduling for Lightweight Communicating Processes -- Composition and Components -- Automata for Context-Dependent Connectors -- Contract-Based Coordination of Hardware Components for the Development of Embedded Software -- Coordination Model for Real-Time Collaborative Editors -- Verification and Modeling -- A Uniform Framework for Modeling and Verifying Components and Connectors -- From Coordination to Stochastic Models of QoS -- Assume-Guarantee Verification of Concurrent Systems. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Coordination Models and Languages, COORDINATION 2009, held in Lisbon, Portugal, in June 2009, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2009. The 14 revised full papers presented were carefully reviewed and selected from 61 submissions. The subject-matter is to explore the spectrum of languages, middleware, services, and algorithms that separate behavior from interaction, therefore increasing modularity, simplifying reasoning, and ultimately enhancing software development. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v5521 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer programming 606 $aComputer science 606 $aApplication software 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aProgramming Techniques 606 $aModels of Computation 606 $aComputer and Information Systems Applications 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aApplication software. 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aModels of Computation. 615 24$aComputer and Information Systems Applications. 676 $a005.27 686 $aDAT 310f$2stub 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 701 $aField$b John$0145541 701 $aVasconcelos$b Vasco T$01754855 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484496503321 996 $aCoordination models and languages$94191366 997 $aUNINA