Asynchronous Global Types in Co-logic Programming

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	DisCoTec (16. : 2021 : Online) Coordination Models and Languages
1. Verfasser:	Bianchini, Riccardo (VerfasserIn)
Weitere Verfasser:	Dagnino, Francesco (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
Tuple-Based Coordination in Large-Scale Situated Systems	2021	Casadei, Roberto
ReGraDa: Reactive Graph Data	2021	Galrinho, Leandro
A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts	2021	Basile, Davide
Deconfined Global Types for Asynchronous Sessions	2021	Dagnino, Francesco
A Session Subtyping Tool	2021	Bacchiani, Lorenzo
Safe Session-Based Asynchronous Coordination in Rusk	2021	Cutner, Zak
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction	2021	Schlatte, Rudolf
A Theory of Automated Market Makers in DeFi	2021	Bartoletti, Massimo
A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator	2021	Kuehn, Eva Maria
ScAFı-Wes: A Web-Based Application for Field-Based Coordination Programming	2021	Aguzzi, Gianluca
Relating Functional and Imperative Session Types	2021	Saffrich, Hannes
Manifestly Phased Communication via Shared Session Types	2021	Sano, Chuta
Towards Probabilistic Session-Type Monitoring	2021	Burlò, Christian Bartolo
Asynchronous Global Types in Co-logic Programming	2021	Bianchini, Riccardo
Java Typestate Checker	2021	Mota, João
The Structure of Concurrent Process Histories	2021	Nester, Chad
Microservice Dynamic Architecture-Level Deployment Orchestration	2021	Bacchiani, Lorenzo
Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices	2021	Giallorenzo, Saverio