Zobrazeno 1 - 10
of 611
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
Publikováno v:
Stabilization, Safety, and Security of Distributed Systems
Stabilization, Safety, and Security of Distributed Systems, 13751, Springer International Publishing, pp.206-221, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-21017-4_14⟩
Lecture Notes in Computer Science ISBN: 9783031210167
Stabilization, Safety, and Security of Distributed Systems, 13751, Springer International Publishing, pp.206-221, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-21017-4_14⟩
Lecture Notes in Computer Science ISBN: 9783031210167
International audience; We study a well-known communication abstraction called Byzantine Reliable Broadcast (BRB). This abstraction is central in the design and implementation of fault-tolerant distributed systems, as many fault-tolerant distributed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fd0661b4989cfd09879747368c0e35c4
https://hal.inria.fr/hal-03920748
https://hal.inria.fr/hal-03920748
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
Theoretical Computer Science, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
Theoretical Computer Science, Elsevier, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
Theoretical Computer Science, 2021, 885, pp.55-68. ⟨10.1016/j.tcs.2021.06.021⟩
International audience; Causal broadcast is a communication abstraction built on top of point-to-point send/receive networks, which ensures that any two messages whose broadcasts are causally related (as captured by Lamport's "happened before" relati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a6d76cdaf01fdff41d784c21baf17f20
https://doi.org/10.1016/j.tcs.2021.06.021
https://doi.org/10.1016/j.tcs.2021.06.021
Publikováno v:
Theoretical Computer Science. :113982
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8df2ac1cac48c198fa0a4c1f07faadb9
https://doi.org/10.1016/j.tcs.2023.113982
https://doi.org/10.1016/j.tcs.2023.113982