Description
Book Synopsis.- 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.
