LEADER 01263nam 2200313Ia 450 001 996390026203316 005 20221102113806.0 035 $a(CKB)1000000000653810 035 $a(EEBO)2240908500 035 $a(OCoLC)9922966700971 035 $a(EXLCZ)991000000000653810 100 $a20000831d1622 uy 0 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe Duke de Mayennes ghost speaking to the princes, lords, and gentlemen of France$b[electronic resource] /$fFaithfully translated according to the French copie 210 $aPrinted at the Hage $cby Hillebrant Iacobson, Printer to the Generall States of the vnited Netherlands.$dMDCXXII [1622] 215 $a[2], 20 p 300 $aSignatures: A-Câ´ (last leaf blank?). 300 $aImperfect: stained, and with print show-through, and loss of text. 300 $aReproduction of original in: Folger Shakespeare Library. 330 $aeebo-0055 607 $aFrance$xHistory$yLouis XIII, 1610-1643 607 $aFrance$xPolitics and government$yLouis XIII, 1610-1643 801 0$bEBK 801 1$bEBK 906 $aBOOK 912 $a996390026203316 996 $aThe Duke de Mayennes ghost speaking to the princes, lords, and gentlemen of France$92411040 997 $aUNISA LEADER 04012nam 22006855 450 001 9911011343503321 005 20250618124748.0 010 $a3-031-95589-7 024 7 $a10.1007/978-3-031-95589-1 035 $a(CKB)39331526500041 035 $a(MiAaPQ)EBC32162278 035 $a(Au-PeEL)EBL32162278 035 $a(DE-He213)978-3-031-95589-1 035 $a(OCoLC)1525619732 035 $a(EXLCZ)9939331526500041 100 $a20250618d2025 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages $e27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17?19, 2025, Proceedings /$fedited by Cinzia Di Giusto, António Ravara 205 $a1st ed. 2025. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025. 215 $a1 online resource (436 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15731 311 08$a3-031-95588-9 327 $a -- Mechanized Type Soundness for Substructural Types using Iris (Invited Tutorial). -- Towards Automated Analysis of Emerging Behaviour: Preliminary Insights and Research Directions (Invited Talk). -- Formal Foundations for Reowolf: Multi-Party Sessions via Synchronous Protocol Programming. -- Formalizing Errors in CCS with 3-Valued Logic. -- Verified Parameterized Choreographies. -- A Constraint Opinion Model. -- MIMOSA: A Language for Asynchronous Implementation of Embedded Systems Software. -- Declarative Deployment Planning for Green Pulverised Collective Computational Systems. -- Decidability Problems for Micro-Stipula. -- Behavioural, Functional, and Non-Functional Contracts for Dynamic Selection of Services. -- Dialects for the CoAP IoT Messaging Protocol. -- DACEO: Declarative Asynchronous Choreographies with Datadependent Event Ordering. -- RebeCaos. -- A Demonstrator Toolchain for Self-organizing Robot Teams. 330 $aThis book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2025, held in Lille, France, during June 17?19, 2025, as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025. The 12 full papers and two invited contributions included in this book were carefully reviewed and selected from 29 submissions. This conference provides a well-established forum for the community of researchers interested in models, languages, architectures, and implementation techniques for coordination. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v15731 606 $aSoftware engineering 606 $aOperating systems (Computers) 606 $aComputers, Special purpose 606 $aArtificial intelligence 606 $aApplication software 606 $aSoftware Engineering 606 $aOperating Systems 606 $aSpecial Purpose and Application-Based Systems 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 615 0$aSoftware engineering. 615 0$aOperating systems (Computers) 615 0$aComputers, Special purpose. 615 0$aArtificial intelligence. 615 0$aApplication software. 615 14$aSoftware Engineering. 615 24$aOperating Systems. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 676 $a005.1 700 $aDi Giusto$b Cinzia$01829569 701 $aRavara$b Anto?nio$00 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911011343503321 996 $aCoordination Models and Languages$94399022 997 $aUNINA