A Session Subtyping Tool

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:DisCoTec (16. : 2021 : Online) Coordination Models and Languages
1. Verfasser: Bacchiani, Lorenzo (VerfasserIn)
Weitere Verfasser: Bravetti, Mario (VerfasserIn), Lange, Julien (VerfasserIn), Zavattaro, Gianluigi (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
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
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
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
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
Alle Artikel auflisten