Modeling 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.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com