23rd IFIP WG 6.1 International Conference on Coordination Models and Language (COORDINATION 2021), Held as Part of the 16th International Federated Conference on Distributed Computing Techniques (DisCoTec 2021) | www.gmachineinfo.com

会议文集

文集名	Coordination Models and Languages
会议名	23rd IFIP WG 6.1 International Conference on Coordination Models and Language (COORDINATION 2021), Held as Part of the 16th International Federated Conference on Distributed Computing Techniques (DisCoTec 2021)
中译名	《第二十三届IFIP WG 6.1国际协调模型与语言会议》
机构	International Federation for Information Processing (IFIP)
会议日期	June 14-18, 2021
会议地点	Valletta, Malta
出版年	2021
馆藏号	339168

题名	作者	出版年
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction	Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa	2021
Manifestly Phased Communication via Shared Session Types	Chuta Sano; Stephanie Balzer; Frank Pfenning	2021
Deconfined Global Types for Asynchronous Sessions	Francesco Dagnino; Paola Giannini; Mariangiola Dezani-Ciancaglini	2021
Relating Functional and Imperative Session Types	Hannes Saffrich; Peter Thiemann	2021
Safe Session-Based Asynchronous Coordination in Rust	Zak Cutner; Nobuko Yoshida	2021
A Session Subtyping Tool	Lorenzo Bacchiani; Mario Bravetti; Julien Lange; Gianluigi Zavattaro	2021
Towards Probabilistic Session-Type Monitoring	Christian Bartolo Burlo; Adrian Francalanza; Alceste Scalas; Catia Trubiani; Emilio Tuosto	2021
Java Typestate Checker	Joao Mota; Marco Giunti; Antonio Ravara	2021
Asynchronous Global Types in Co-logic Programming	Riccardo Bianchini; Francesco Dagnino	2021
Tuple-Based Coordination in Large-Scale Situated Systems	Roberto Casadei; Mirko Viroli; Alessandro Ricci; Giorgio Audrito	2021
A Theory of Automated Market Makers in DeFi	Massimo Bartoletti; James Hsin-yu Chiang; Alberto Lluch-Lafuente	2021
ReGraDa: Reactive Graph Data	Leandro Galrinho; Joao Costa Seco; Soren Debois; Thomas Hildebrandt; Hakon Norman; Tijs Slaats	2021
The Structure of Concurrent Process Histories	Chad Nester	2021
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts	Davide Basile; Maurice H. ter Beek	2021
A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator	Eva Maria Kuehn	2021
Microservice Dynamic Architecture-Level Deployment Orchestration	Lorenzo Bacchiani; Mario Bravetti; Saverio Giallorenzo; Jacopo Mauro; Iacopo Talevi; Gianluigi Zavattaro	2021
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices	Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; Florian Rademacher; Sabine Sachweh	2021
ScaFi-Web: A Web-Based Application for Field-Based Coordination Programming	Gianluca Aguzzi; Roberto Casadei; Niccolo Maltoni; Danilo Pianini; Mirko Viroli	2021
Let it Flow: Reactive Computations for Consistent-by-Design Distributed Applications	Mira Mezini	2021