Observational Preorders for Alternating Transition Systems
Domains
Computer Science [cs]Origin | Files produced by the author(s) |
---|
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
Long-term archiving on : Friday, January 19, 2024-7:29:39 PM