Observational Preorders for Alternating Transition Systems - Université Paris-Est-Créteil-Val-de-Marne Access content directly
Conference Papers Year : 2023

Observational Preorders for Alternating Transition Systems

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
main-eumas.pdf (309.32 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Daniele Varacca  : Connect in order to contact the contributor

https://hal.u-pec.fr/hal-04247620

Submitted on : Wednesday, October 18, 2023-2:15:08 PM

Last modification on : Wednesday, October 25, 2023-9:51:15 AM

Download

Dates and versions

hal-04247620 , version 1 (18-10-2023)

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC LIP6 SORBONNE-UNIVERSITE SU-SCIENCES
13 View
2 Download

Altmetric

Share

Gmail Facebook X LinkedIn More