AMECOS: A Modular Event-based Framework for Concurrent Object Specification

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Albouy, Timothé, Anta, Antonio Fernández, Georgiou, Chryssis, Gestin, Mathieu, Nicolaou, Nicolas, Wang, Junlang
Format: Preprint
Published: 2024
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!