Observational Preorders for Alternating Transition Systems
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Communication Dans Un Congrès
Année : 2023
Daniele Varacca : Connectez-vous pour contacter le contributeur
https://hal.u-pec.fr/hal-04247620
Soumis le : mercredi 18 octobre 2023-14:15:08
Dernière modification le : mercredi 30 octobre 2024-13:32:34
Archivage à long terme le : vendredi 19 janvier 2024-19:29:39
Citer
Romain Demangeon, Catalin Dima, Daniele Varacca. Observational Preorders for Alternating Transition Systems. 20th European Conference on Multi-Agent Systems - EUMAS 2023, Sep 2023, Naples, Italy. pp.312-327, ⟨10.1007/978-3-031-43264-4_20⟩. ⟨hal-04247620⟩
Collections
67
Consultations
66
Téléchargements