Modelling Distributed Applications with Mixed-Choice Stateful Typestates

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Parrinha, Francisco, Mota, João, Ravara, António
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages D.1.3; D.2.3; D.2.4; D.3.1; F.1.1; F.1.2; F.3.1; F.3.2; F.3.3
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Online

https://arxiv.org/abs/2604.06874