Zobrazeno 1 - 10
of 1 338
pro vyhledávání: '"Michel Raynal"'
Publikováno v:
Communications of the ACM. 66:86-97
Two linearizability-style correctness conditions that can be used to argue safety properties of progressively more concurrent behaviors of objects.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1f1ca8395525f1edb34e71fdef7af475
https://doi.org/10.1145/3546826
https://doi.org/10.1145/3546826
Publikováno v:
Distributed Computing. 36:89-106
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fd6d3c0f03be8f8909a124f6ba22c946
https://doi.org/10.1007/s00446-022-00440-y
https://doi.org/10.1007/s00446-022-00440-y
Publikováno v:
The Journal of Supercomputing. 79:788-813
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0c075b3f9f0acb3232b5b9cc3fe366a3
https://doi.org/10.1007/s11227-022-04700-3
https://doi.org/10.1007/s11227-022-04700-3
Autor:
Michel Raynal
Publikováno v:
Synthesis Lectures on Distributed Computing Theory. 20:1-139
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d5101f7b4b0e58a82178892560873ec6
https://doi.org/10.2200/s01165ed1v01y202202dct018
https://doi.org/10.2200/s01165ed1v01y202202dct018
Autor:
Michel Raynal
Publikováno v:
Structural Information and Communication Complexity ISBN: 9783031327322
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a05643a6bd814d187e36364187519b83
https://doi.org/10.1007/978-3-031-32733-9_3
https://doi.org/10.1007/978-3-031-32733-9_3
Autor:
Michel Raynal, Jie Wu
Publikováno v:
2022 18th International Conference on Mobility, Sensing and Networking (MSN).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7020378989e22136099dde2aaeb8d926
https://doi.org/10.1109/msn57253.2022.00005
https://doi.org/10.1109/msn57253.2022.00005
Publikováno v:
SSS 2022-24th International Symposium on Stabilizing, Safety, and Security of Distributed Systems
SSS 2022-24th International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferrand, France. pp.178-192, ⟨10.1007/978-3-031-21017-4_12⟩
Lecture Notes in Computer Science ISBN: 9783031210167
SSS 2022-24th International Symposium on Stabilizing, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferrand, France. pp.178-192, ⟨10.1007/978-3-031-21017-4_12⟩
Lecture Notes in Computer Science ISBN: 9783031210167
International audience
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4690df698c572fe2a44c68e82d4bc0b2
https://inria.hal.science/hal-03920733
https://inria.hal.science/hal-03920733