( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal Logic of Composable Distributed Components.

, , , и . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Mohsen Lesani

Mohsen Mohtashami

Mohsen Haghgu

Mohsen Haschemi

Mohsen Mianehsaz

 

Другие публикации лиц с тем же именем

Temporal Logic of Composable Distributed Components., , , и . CoRR, (2020)Grafs: declarative graph analytics., , и . Proc. ACM Program. Lang., 5 (ICFP): 1-32 (2021)Cross-Chain Swaps with Preferences., , и . CSF, стр. 261-275. IEEE, (2023)UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel., , , , , , , , и . ESEC/SIGSOFT FSE, стр. 221-232. ACM, (2020)Polynomial-Time Fence Insertion for Structured Programs., , и . DISC, том 146 из LIPIcs, стр. 34:1-34:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Hamsaz: replication coordination analysis and synthesis., и . Proc. ACM Program. Lang., 3 (POPL): 74:1-74:32 (2019)Quorum Subsumption for Heterogeneous Quorum Systems., , и . DISC, том 281 из LIPIcs, стр. 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Hamband: RDMA replicated data types., , и . PLDI, стр. 348-363. ACM, (2022)HAMRAZ: Resilient Partitioning and Replication., , и . SP, стр. 2267-2284. IEEE, (2022)Transaction Protocol Verification with Labeled Synchronization Logic.. NFM, том 11460 из Lecture Notes in Computer Science, стр. 280-297. Springer, (2019)