LEADER 00895nam2-22003131i-450- 001 990000446490403321 005 20001010 035 $a000044649 035 $aFED01000044649 035 $a(Aleph)000044649FED01 035 $a000044649 100 $a20001010d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $a1 parte II : Profilati formati a freddo p.665 210 $aMilano$cArti Grafiche Pinelli$e1979 215 $av$d30 cm 461 0$1001000042908$12001$aProntuario per il calcolo delle strutture in acciaio 610 0 $aScienza e Tecnica delle Costruzioni 610 0 $aAcciaio Edilizia 676 $a620.1 712 02$aCentro italiano sviluppo impieghi acciaio 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000446490403321 952 $a000044649000001$fDINED 959 $aDINED 997 $aUNINA DB $aING01 LEADER 04223nam 22006855 450 001 9910578683503321 005 20251113155235.0 010 $a3-031-08143-9 024 7 $a10.1007/978-3-031-08143-9 035 $a(MiAaPQ)EBC7016573 035 $a(Au-PeEL)EBL7016573 035 $a(CKB)23842927800041 035 $a(PPN)264961757 035 $a(OCoLC)1330933184 035 $a(DE-He213)978-3-031-08143-9 035 $a(EXLCZ)9923842927800041 100 $a20220613d2022 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages $e24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings /$fedited by Maurice H. ter Beek, Marjan Sirjani 205 $a1st ed. 2022. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2022. 215 $a1 online resource (246 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13271 311 08$aPrint version: ter Beek, Maurice H. Coordination Models and Languages Cham : Springer International Publishing AG,c2022 9783031081422 320 $aIncludes bibliographical references and index. 327 $aFormal Methods for Socio-Technical Security (Formal and Automated Analysis of Security Ceremonies) -- Timed and Probabilistic Systems -- MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems -- A Sound Up-to-n; Bisimilarity for PCTL -- Collective Adaptive Systems and Aggregate Computing Extensible 3D Simulation of Aggregated Systems with FCPP -- Towards Reinforcement Learning-based Aggregate Computing -- A Tool for Reasoning about Collective Systems -- Space- uid Adaptive Sampling: a Field-based, Self-organising Approach -- Processes and Languages -- Formal Choreographic Languages -- A Model of Actors and Grey Failures -- Soft Concurrent Constraint Programming with Local Variables -- Runtime Veri cation and Monitor Synthesis -- A Synthesis Tool for Optimal Monitors in a Branching-Time Setting -- A Monitoring Tool for the Linear-Time HML -- Microservices -- Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs. 330 $aThis book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022. The 11 regular papers and one short paper presented in this book were carefully reviewed and selected from 22 submissions. COORDINATION provides a well-established forum for the growing community of researchers interested in coordination models and languages, architectures, verification and implementation techniques necessary to cope with the complexity induced by the demands of today's software development. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13271 606 $aSoftware engineering 606 $aComputers, Special purpose 606 $aArtificial intelligence 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware Engineering 606 $aSpecial Purpose and Application-Based Systems 606 $aArtificial Intelligence 606 $aComputer Engineering and Networks 615 0$aSoftware engineering. 615 0$aComputers, Special purpose. 615 0$aArtificial intelligence. 615 0$aComputer engineering. 615 0$aComputer networks. 615 14$aSoftware Engineering. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aArtificial Intelligence. 615 24$aComputer Engineering and Networks. 676 $a004.36 702 $aBeek$b Maurice H. ter 702 $aSirjani$b Marjan 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910578683503321 996 $aCoordination Models and Languages$9772324 997 $aUNINA