Претрага
Резултати
Relaxed Memory Concurrency Re-executed [2025]
Moiseenko, Evgenii; Meluzzi, Matteo; Meleshchenko, Innokentii; Kabashnyi, Ivan; Podkopaev, Anton; Chakraborty, SohamPrecise subtyping for asynchronous multiparty sessions
[2021]
Gilezan, Silvia 
; Pantović, Jovanka ; Prokić, Ivan ; Scalas, Alceste; Yoshida, Nobuko
Model Checking for a Multi-Execution Memory Model [2022]
Moiseenko, Evgenii; Kokologiannakis, Michalis; Vafeiadis, ViktorФилтери
По типу