LEADER 01377nam a2200349 i 4500 001 991002625519707536 005 20020503171416.0 008 991130s1993 it ||| | ita 035 $ab1039171x-39ule_inst 035 $aEXGIL107147$9ExL 040 $aDip.to Filol. Ling. e Lett.$bita 100 1 $aRuesch, Diana$0384723 245 10$aEnnio Flaiano :$bconvegno organizzato dalla Biblioteca Cantonale. Lugano :$b20 e 21 novembre 1992 ; atti /$ca cura di Diana Ruesch ; presentazione di Giuseppe Curonici ; interventi di Guido Almansi ... [et al.] 260 $aLugano :$bBiblioteca Cantonale. Lugano,$cstampa 1993 300 $a123 p. ;$c22 cm. 440 2$aI Quaderni della Associazione Carlo Cattaneo 500 $aIn coda al front.: Consolato generale d'Italia in Lugano 650 4$aFlaiano, Ennio 700 1 $aCuronici, Giuseppe 700 1 $aAlmansi, Guido 700 1 $aBragaglia, Cristina 700 1 $aCordelli, Franco 700 1 $aFofi, Goffredo 700 1 $aGiammattei, Emma 700 1 $aLongoni, Anna 700 1 $aSerio, Nicoletta 907 $a.b1039171x$b21-09-06$c27-06-02 912 $a991002625519707536 945 $aLE008 FL.M. X L 111$g1$i2008000004330$lle008$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i1045780x$z27-06-02 996 $aEnnio Flaiano$9219769 997 $aUNISALENTO 998 $ale008$b01-01-99$cm$da $e-$fita$git $h0$i1 LEADER 04758nam 22007455 450 001 9910483717903321 005 20251225173438.0 010 $a3-030-78142-9 024 7 $a10.1007/978-3-030-78142-2 035 $a(CKB)4100000011954947 035 $a(DE-He213)978-3-030-78142-2 035 $a(MiAaPQ)EBC6638849 035 $a(Au-PeEL)EBL6638849 035 $a(OCoLC)1256265305 035 $a(PPN)257358420 035 $a(EXLCZ)994100000011954947 100 $a20210605d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages $e23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14?18, 2021, Proceedings /$fedited by Ferruccio Damiani, Ornela Dardha 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (XVI, 301 p. 134 illus., 56 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12717 311 08$a3-030-78141-0 327 $aModeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session-Based Asynchronous Coordination in Rust -- A Session Subtyping Tool -- Towards Probabilistic Session-Type Monitoring -- Java Typestate Checker -- Asynchronous Global Types in co-logic Programming -- Tuple-Based Coordination in Large-Scale Situated Systems -- A Theory of Automated Market Makers in DeFi -- ReGraDa: Reactive Graph Data -- The Structure of Concurrent Process Histories -- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts -- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator -- Microservice Dynamic Architecture-Level Deployment Orchestration -- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices -- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming. 330 $aThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2021, held in Valletta, Malta, in June 2021, as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021. The 15 regular papers, 2 short papers, and 1 tutorial paper presented in this book were carefully reviewed and selected from 31 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. The tool papers describe experience reports, technological artefacts, and innovative prototypes, as well as educational tools in the scope of the research topics of the conference. Due to the Corona pandemic this event was held virtually. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12717 606 $aSoftware engineering 606 $aDatabase management 606 $aComputer networks 606 $aNatural language processing (Computer science) 606 $aApplication software 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aDatabase Management 606 $aComputer Communication Networks 606 $aNatural Language Processing (NLP) 606 $aComputer and Information Systems Applications 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aDatabase management. 615 0$aComputer networks. 615 0$aNatural language processing (Computer science). 615 0$aApplication software. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 615 24$aNatural Language Processing (NLP). 615 24$aComputer and Information Systems Applications. 615 24$aArtificial Intelligence. 676 $a005 702 $aDamiani$b Ferruccio 702 $aDardha$b Ornela 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483717903321 996 $aCoordination Models and Languages$9772324 997 $aUNINA