Risultati finali Documents, reports (12) Report on advances on model-driven verification of composite b-APIs and on static and dynamic verification (runtime monitoring and testing) techniques for b-APIs consumers. Related to Tasks 32 33 34 and 35Note this deliverable has to be checked once more in M36 A catalog of problems on the usage of APIs, limitations of current technologies and opportunities for improvement Related to Task 3.1 Report assessing the use of top-down, bottom-up, and round-trip tool support for engineering b-APIs Related to Tasks 42 43 and 44To be checked again in Month 24 Inference of descriptions and testing Related to Tasks 22 and 24 Portfolio of tools and platforms: on-line synoptic table of platforms analysis (T4.1), toolkits repository Related to Task 42 and 43To be checked again in M24 M36 Languages and models for b-API description Related to Tasks 23 and 27 Report on methodological approaches to b-APIs round-trip engineering Related to task 42 43 and 45To be checked again in M36 Report on combination of different verification techniques and b-APIs for adaptable systems. Related to Tasks 34 35 36 and 37 Portfolio of use-cases and of current practices for API provisioning Related to Task 2.1 b-API for provision at work Related to Tasks 22 23 24 25 26 27 Extensions of actor-based, object-oriented, and functional languages: syntax, semantics, and documentation Related to Tasks 45 and 46To be checked again in M48 Approaches to static and dynamic verification Related to Tasks 2.5 and 2.6 Websites, patent fillings, videos etc. (3) Web sites of the project (public and internal according to the IP policies established in WP1), containing a repository of tools and use-cases together with their documentation D53 M12 M24 M36 M48 Web sites of the project public and internal according to the IP policies established in WP1 containing a repository of tools and usecases together with their documentation Suite of training exercises w/ solutions D51 M12 M24 M36 M48 Suite of training exercises w solutions Tutorials of tools and white papers D52 M12 M24 M36 M48 Tutorials of tools and white papers Pubblicazioni Conference proceedings (23) ReGraDa: Reactive Graph Data Autori: Leandro Galrinho, João Costa Seco, Søren Debois,Thomas Hildebrandt,Håkon Norman,Tijs Slaats Pubblicato in: COORDINATION 2021, 2021, ISBN 978-3-030-78141-5 Editore: Springer-Verlag DOI: 10.1007/978-3-030-78142-2_12 ElixirST: A Session-Based Type System for Elixir Modules Autori: Francalanza, Adrian; Tabone, Gerard Pubblicato in: Journal of Logical and Algebraic Methods in Programming, Numero 135, 2023 Editore: Elsevier DOI: 10.1016/j.jlamp.2023.100891 Safe asynchronous mixed-choice for timed interactions Autori: Pears, Jonah; Bocchi, Laura; King, Andy Pubblicato in: Coordination Models and Languages, Lecture Notes in Computer Science, Numero 13908, 2023 Editore: Springer DOI: 10.1007/978-3-031-35361-1_12 Open Compliance in Multiparty Sessions Autori: Franco Barbanera, Mriangiola Dezani-Ciancaglini, Ugo de'Liguoro Pubblicato in: Lecture Notes in Computer Science, Numero 13712, 2022, Pagina/e 222 - 243, ISBN 038709251X Editore: Springer DOI: 10.1007/978-3-031-20872-0_13 The Reversible Temporal Process Language Autori: Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen Pubblicato in: Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings, Numero 13273, 2022, Pagina/e 31-49 Editore: Springer DOI: 10.1007/978-3-031-08679-3_3 A Synthesis Tool for Optimal Monitors in a Branching-Time Setting Autori: Antonis Achilleos, Léo Exibard, Adrian Francalanza, Karoliina Lehtinen & Jasmine Xuereb Pubblicato in: IFIP Advances in Information and Communication Technology, Numero 13271, 2022 Editore: Springer DOI: 10.1007/978-3-031-08143-9_11 A Choreography-Driven Approach to APIs: the OpenDXL Case Study Autori: Leonardo Frittelli, Facundo Maldonado, Hernan Melgratti, and Emilio Tuosto Pubblicato in: Coordination Models and Languages, 2020 Editore: Springer DOI: 10.1007/978-3-030-50029-0\_7 Behavioural Types for Local-First Software (Artifact) Autori: Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio; Pubblicato in: 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023, ISSN 1868-8969 Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik" DOI: 10.4230/darts.9.2.14 A Model of Actors and Grey Failures Autori: Laura Bocchi, Julien Lange, Simon Thompson, Laura Voinea Pubblicato in: In: ter Beek, M.H., Sirjani, M. (eds) Coordination Models and Languages. COORDINATION 2022. IFIP Advances in Information and Communication Technology., Numero 13271, 2022, Pagina/e 140-158 Editore: Springer DOI: 10.1007/978-3-031-08143-9_9 Behavioural Types for Local-First Software Autori: Kuhn, Roland; Melgratti, Hernán; Tuosto, Emilio Pubblicato in: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Numero 59, 2023, ISBN 978-3-95977-281-5 Editore: Schloss-Dagstuhl - Leibniz Zentrum für Informatik DOI: 10.4230/lipics.ecoop.2023.15 On Runtime Enforcement via Suppressions Autori: Luca Aceto and Ian Cassar and Adrian Francalanza and Anna Ingolfsdottir Pubblicato in: 29th International Conference on Concurrency Theory, {CONCUR} 2018, September 4-7, 2018, Beijing, China, Numero Volume 118, yearly, 2018, Pagina/e 34:1-34:17, ISBN 978-3-95977-087-3 Editore: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.CONCUR.2018.34 RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta Autori: Joao Costa Seco, Soren Debois, Thomas Hildebrandt, Tijs Slaats Pubblicato in: 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), Numero 22, 2018, Pagina/e 75-84, ISBN 978-1-5386-4139-2 Editore: IEEE DOI: 10.1109/EDOC.2018.00020 Towards an Empirical Evaluation of Imperative and Declarative Process Mining Autori: Christoffer Olling Back and Soren Debois and Tijs Slaats Pubblicato in: Advances in Conceptual Modeling - ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME, Xi'an, China, October 22-25, 2018, Proceedings, Numero Vol 11158, 2018, Pagina/e 191-198, ISBN 978-3-030-01390-5 Editore: Springer DOI: 10.1007/978-3-030-01391-2_24 The Process Highlighter: From Texts to Declarative Processes and Back Autori: Hugo A. Lopez and Soren Debois and Thomas T. Hildebrandt and Morten Marquard Pubblicato in: Proceedings of the Dissertation Award, Demonstration, and Industrial Track at {BPM} 2018 co-located with 16th International Conference on Business Process Management {(BPM} 2018), Sydney, Australia, September 9-14, 2018., Numero Vol 2196, 2018, Pagina/e 66--70 Editore: CEUR-WS.org A Universal Session Type for Untyped Asynchronous Communication Autori: Stephanie Balzer and Frank Pfenning and Bernardo Toninho Pubblicato in: 29th International Conference on Concurrency Theory (CONCUR 2018), Numero vol 118, 2018 yearly, 2018, Pagina/e 30:1--30:18, ISBN 978-3-95977-087-3 Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.CONCUR.2018.30 Mailbox Types for Unordered Interactions Autori: Ugo de'Liguoro and Luca Padovani Pubblicato in: 32nd European Conference on Object-Oriented Programming, {ECOOP} 2018, July 16-21, 2018, Amsterdam, The Netherlands, Numero Vol 109, 2018, Pagina/e 15:1--15:28, ISBN 978-3-95977-079-8 Editore: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik DOI: 10.4230/LIPIcs.ECOOP.2018.15 Testing and validating end user programmed calculated fields Autori: Víctor Braberman, Diego Garbervetsky, Javier Godoy, Sebastian Uchitel, Guido de Caso, Ignacio Perez, Santiago Perez Pubblicato in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, Numero 26, 2018, Pagina/e 827-832, ISBN 9781-450355735 Editore: ACM Press DOI: 10.1145/3236024.3275531 A Sound Algorithm for Asynchronous Session Subtyping Autori: Bravetti, Mario and Carbone, Marco and Lange, Julien and Yoshida, Nobuko and Zavattaro, Gianluigi Pubblicato in: Leibniz International Proceedings in Informatics (LIPIcs), Numero 140, 2019, Pagina/e 1-16 Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/lipics.concur.2019.38 Choreography Automata Autori: Franco Barbanera, Ivan Lanese, Emilio Tuosto Pubblicato in: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Numero 12134, 2020, Pagina/e 86-106, ISBN 978-3-030-50028-3 Editore: Springer International Publishing DOI: 10.1007/978-3-030-50029-0_6 Relating Session Types and Behavioural Contracts: The Asynchronous Case Autori: Mario Bravetti, Gianluigi Zavattaro Pubblicato in: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings, Numero 11724, 2019, Pagina/e 29-47, ISBN 978-3-030-30445-4 Editore: Springer International Publishing DOI: 10.1007/978-3-030-30446-1_2 A Monitoring Tool for Linear-TimeHML Autori: Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza & Anna Ingólfsdóttir Pubblicato in: COORDINATION 2022. IFIP Advances in Information and Communication Technology, Numero 13271, 2022, Pagina/e 200-219 Editore: Springer DOI: 10.1007/978-3-031-08143-9_12 Towards Choreographic-Based Monitoring Autori: Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto Pubblicato in: Lecture Notes in Computer Science, Numero 12070, 2020, ISBN 978-3-030-47361-7 Editore: Springer DOI: 10.1007/978-3-030-47361-7_6 Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language Autori: Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias S. Jakobsen, Mikkel K. Kettunen, António Ravara Pubblicato in: 2020 Editore: Springer, Cham DOI: 10.1007/978-3-030-64437-6_6 Peer reviewed articles (17) Towards Probabilistic Session-Type Monitoring Autori: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto Pubblicato in: Proceedings 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, 2021, Pagina/e 106–120, ISSN 1611-3349 Editore: Springer International Publishing DOI: 10.48550/arxiv.2107.08729 Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules Autori: Tabone, Gerard and Francalanza, Adrian Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 365, 2022, ISSN 2075-2180 Editore: Open Publishing Association DOI: 10.4204/eptcs.365.2 Assured automatic dynamic reconfiguration of business processes Autori: Leandro Nahabedian, Victor Braberman, Nicolás D’Ippolito, Jeff Kramer, Sebastian Uchitel Pubblicato in: Information Systems, 2022, ISSN 0306-4379 Editore: Elsevier Science & Technology DOI: 10.1016/j.is.2021.101850 PSTMonitor: Monitor synthesis from probabilistic session types Autori: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto Pubblicato in: Science of Computer Programming, Numero 222, 2022, ISSN 0346-251X Editore: Pergamon Press Ltd. DOI: 10.48550/arxiv.2212.07329 Towards refinable choreographies Autori: Ugo de'Liguoro, Hernàn C. Melgratti, Emilio Tuosto Pubblicato in: Journal of Logic and Algebraic Methods in Programming, Numero Volume 127, June 2022, 2022, Pagina/e 100776 - 100800, ISSN 2352-2208 Editore: ScienceDirect DOI: 10.1016/j.jlamp.2022.100776 Comparing perfomance abstractions for collective adaptive systems Autori: Maurizio Murgia, Riccardo Pinciroli, Catia Trubiani, Emilio Tuosto, Pubblicato in: International Journal on Software Tools for Technology Transfer, 2023, ISSN 1433-2787 Editore: Springer DOI: 10.1007/s10009-023-00728-9 Bidirectional Runtime Enforcement of First-Order Branching-Time Properties Autori: Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingolfsdottir Pubblicato in: Logical Methods in Computer Science, Numero Volume 19, Numero 1, 2023, ISSN 1860-5974 Editore: Technischen Universitat Braunschweig DOI: 10.48550/arxiv.2201.03108 On first-order runtime enforcement of branching-time properties Autori: Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir Pubblicato in: Acta Informatica, 2023, ISSN 1432-0525 Editore: Springer DOI: 10.1007/s00236-023-00441-9 Context-Free Session Types for Applied Pi-Calculus Autori: Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 276, 2018, Pagina/e 3-18, ISSN 2075-2180 Editore: School of Computer Science and Engineering at UNSW DOI: 10.4204/EPTCS.276.3 Deadlock-Free Typestate-Oriented Programming Autori: Luca Padovani Pubblicato in: The Art, Science, and Engineering of Programming, Numero 2 10.22152/programming-journal.org/2018/2 http://programming-journal.org/2018/2/3, 2018, ISSN 2473-7321 Editore: AOSA DOI: 10.22152/programming-journal.org/2018/2/15 A type checking algorithm for concurrent object protocols Autori: Luca Padovani Pubblicato in: Journal of Logical and Algebraic Methods in Programming, Numero 100, 2018, Pagina/e 16-35, ISSN 2352-2208 Editore: Elsevier DOI: 10.1016/j.jlamp.2018.06.001 Choreographies, logically Autori: Marco Carbone, Fabrizio Montesi, Carsten Schürmann Pubblicato in: Distributed Computing, Numero 31/1, 2018, Pagina/e 51-67, ISSN 0178-2770 Editore: Springer Verlag DOI: 10.1007/s00446-017-0295-1 On the boundary between decidability and undecidability of asynchronous session subtyping Autori: Mario Bravetti, Marco Carbone, Gianluigi Zavattaro Pubblicato in: Theoretical Computer Science, Numero 722, 2018, Pagina/e 19-51, ISSN 0304-3975 Editore: Elsevier BV DOI: 10.1016/j.tcs.2018.02.010 Concurrent Typestate-Oriented Programming in Java Autori: Rosita Gerbo, Luca Padovani Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 291, 2019, Pagina/e 24-34, ISSN 2075-2180 Editore: Open Publishing Association DOI: 10.4204/eptcs.291.3 Realisability of pomsets Autori: Roberto Guanciale, Emilio Tuosto Pubblicato in: Journal of Logical and Algebraic Methods in Programming, Numero Vol. 108, 2019, Pagina/e 69-89, ISSN 2352-2208 Editore: Elsevier DOI: 10.1016/j.jlamp.2019.06.003 Process calculi as a tool for studying coordination, contracts and session types Autori: Mario Bravetti, Gianluigi Zavattaro Pubblicato in: Journal of Logical and Algebraic Methods in Programming, Numero 112, 2020, Pagina/e 100527, ISSN 2352-2208 Editore: Elsevier DOI: 10.1016/j.jlamp.2020.100527 A Theory of Composing Protocols Autori: Laura Bocchi, Dominic Orchard, Laura Voinea Pubblicato in: The Art, Science, and Engineering of Programming, Numero Vol. 7, Numero 2, 2023, Pagina/e Article 6, ISSN 2473-7321 Editore: AOSA DOI: 10.22152/programming-journal.org/2023/7/6 Other (3) A Dynamic Temporal Logic for Quality of Service in Choreographic Models Autori: Carlos G. Lopez Pombo and Agustín E. Martinez Suñé, Emilio Tuosto Pubblicato in: 2023 Editore: NA DOI: 10.48550/arxiv.2311.01414 On Resolving Non-determinism in Choreographies Autori: Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio Pubblicato in: Arxiv, Numero 8410, 2019, Pagina/e 493-512 Editore: Arxiv DOI: 10.5281/zenodo.3260521 Continuous Integration, Choreographically Autori: Francalanza,Adrian; Mezzina,Claudio Antares; Rojas,Jose' Miguel; Tuosto,Emilio; Ulidowski,Irek Pubblicato in: Technical Report, 2019 Editore: University of Leicester DOI: 10.5281/zenodo.3263870 Book chapters (18) Deadlock Analysis of Wait-Notify Coordination Autori: Cosimo Laneve, Luca Padovani Pubblicato in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Numero 11760, 2019, Pagina/e 50-67, ISBN 978-3-030-31174-2 Editore: Springer International Publishing DOI: 10.1007/978-3-030-31175-9_4 Reversible Choreographies via Monitoring in Erlang Autori: Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto Pubblicato in: Distributed Applications and Interoperable Systems, Numero 10853, 2018, Pagina/e 75-92, ISBN 978-3-319-93766-3 Editore: Springer International Publishing DOI: 10.1007/978-3-319-93767-0_6 A Framework for Parameterized Monitorability Autori: Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir Pubblicato in: Foundations of Software Science and Computation Structures, Numero 10803, 2018, Pagina/e 203-220, ISBN 978-3-319-89365-5 Editore: Springer International Publishing DOI: 10.1007/978-3-319-89366-2_11 Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit Autori: Søren Debois, Thomas Hildebrandt, Morten Marquard, Tijs Slaats Pubblicato in: Business Process Management Cases, Numero 2017, 2018, Pagina/e 397-412, ISBN 978-3-319-58306-8 Editore: Springer International Publishing DOI: 10.1007/978-3-319-58307-5_21 Depending on Session-Typed Processes Autori: Bernardo Toninho, Nobuko Yoshida Pubblicato in: Foundations of Software Science and Computation Structures, Numero 10803, 2018, Pagina/e 128-145, ISBN 978-3-319-89365-5 Editore: Springer International Publishing DOI: 10.1007/978-3-319-89366-2_7 On Polymorphic Sessions and Functions Autori: Bernardo Toninho, Nobuko Yoshida Pubblicato in: Programming Languages and Systems, Numero 10801, 2018, Pagina/e 827-855, ISBN 978-3-319-89883-4 Editore: Springer International Publishing DOI: 10.1007/978-3-319-89884-1_29 Reversing P/T Nets Autori: Hernán Melgratti, Claudio Antares Mezzina, Irek Ulidowski Pubblicato in: Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings, Numero 11533, 2019, Pagina/e 19-36, ISBN 978-3-030-22396-0 Editore: Springer International Publishing DOI: 10.1007/978-3-030-22397-7_2 Automatic Quality-of-Service Evaluation in Service-Oriented Computing Autori: Agustín E. Martinez Suñé, Carlos G. Lopez Pombo Pubblicato in: Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings, Numero 11533, 2019, Pagina/e 221-236, ISBN 978-3-030-22396-0 Editore: Springer International Publishing DOI: 10.1007/978-3-030-22397-7_13 Data-Driven Choreographies à la Klaim Autori: Roberto Bruni, Andrea Corradini, Fabio Gadducci, Hernán Melgratti, Ugo Montanari, Emilio Tuosto Pubblicato in: De Nicola-Festschrift, Lecture Notes in Computer Science, Numero 11665, 2019 Editore: Springer Verlag DOI: 10.1007/978-3-030-21485-2_11 Dynamic Reconfiguration of Business Processes Autori: Leandro Nahabedian, Victor Braberman, Nicolás D’ippolito, Jeff Kramer, Sebastián Uchitel Pubblicato in: Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings, Numero 11675, 2019, Pagina/e 35-51, ISBN 978-3-030-26618-9 Editore: Springer International Publishing DOI: 10.1007/978-3-030-26619-6_5 Deadlock Analysis of Wait-Notify Coordination Autori: Cosimo Laneve, Luca Padovani Pubblicato in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Numero 11760, 2019, Pagina/e 50-67, ISBN 978-3-030-31174-2 Editore: Springer International Publishing DOI: 10.1007/978-3-030-31175-9_4 On the Prediction of Smart Contracts’ Behaviours Autori: Cosimo Laneve, Claudio Sacerdoti Coen, Adele Veschetti Pubblicato in: From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Numero 11865, 2019, Pagina/e 397-415, ISBN 978-3-030-30984-8 Editore: Springer International Publishing DOI: 10.1007/978-3-030-30985-5_23 Guess Who’s Coming: Runtime Inclusion of Participants in Choreographies Autori: Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro Pubblicato in: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Numero 11760, 2019, Pagina/e 118-138, ISBN 978-3-030-31174-2 Editore: Springer International Publishing DOI: 10.1007/978-3-030-31175-9_8 A Formal Approach to Microservice Architecture Deployment Autori: Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro Pubblicato in: Microservices - Science and Engineering, 2020, Pagina/e 183-208, ISBN 978-3-030-31645-7 Editore: Springer International Publishing DOI: 10.1007/978-3-030-31646-4_8 Typechecking Java Protocols with [St]Mungo Autori: A. Laura Voinea, Ornela Dardha, Simon J. Gay Pubblicato in: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Numero 12136, 2020, Pagina/e 208-224, ISBN 978-3-030-50085-6 Editore: Springer International Publishing DOI: 10.1007/978-3-030-50086-3_12 SFJ: An Implementation of Semantic Featherweight Java Autori: Artem Usov, Ornela Dardha Pubblicato in: Coordination Models and Languages - 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Numero 12134, 2020, Pagina/e 153-168, ISBN 978-3-030-50028-3 Editore: Springer International Publishing DOI: 10.1007/978-3-030-50029-0_10 Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper) Autori: Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas Pubblicato in: Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings, Numero 12136, 2020, Pagina/e 227-235, ISBN 978-3-030-50085-6 Editore: Springer International Publishing DOI: 10.1007/978-3-030-50086-3_13 Resource Sharing via Capability-Based Multiparty Session Types Autori: A. Laura Voinea, Ornela Dardha, Simon J. Gay Pubblicato in: Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings, Numero 11918, 2019, Pagina/e 437-455, ISBN 978-3-030-34967-7 Editore: Springer International Publishing DOI: 10.1007/978-3-030-34968-4_24 È in corso la ricerca di dati su OpenAIRE... Si è verificato un errore durante la ricerca dei dati su OpenAIRE Nessun risultato disponibile