( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of fault-tolerant concurrent programs.

, , и . ACM Trans. Program. Lang. Syst., 26 (1): 125-185 (2004)

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.

Sachin Arora

Alexandra Anishchanka

Deepak Arora

Deepika Arora

Ravindra Arora

 

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

Replay (Far) Away: Exploiting and Fixing Google/Apple Exposure Notification Contact Tracing., , , и . Proc. Priv. Enhancing Technol., 2022 (4): 727-745 (2022)Middle-mile Network Optimization in Rural Wireless Meshes., и . WoWMoM, стр. 224-233. IEEE, (2020)Specification-Based Design of Self-Stabilization., и . IEEE Trans. Parallel Distributed Syst., 27 (1): 263-270 (2016)Unifying stabilization and termination in message-passing systems., и . Distributed Comput., 17 (3): 279-290 (2005)Kansei: A High-Fidelity Sensing Testbed., , , , и . IEEE Internet Comput., 10 (2): 35-47 (2006)Reliable bursty convergecast in wireless sensor networks., , , и . MobiHoc, стр. 266-276. ACM, (2005)A Wireless Security Framework without Shared Secrets., и . SSS, том 5873 из Lecture Notes in Computer Science, стр. 609-623. Springer, (2009)PROWESS: An Open Testbed for Programmable Wireless Edge Systems., , , , , , , , и . PEARC, стр. 11:1-11:9. ACM, (2022)Multitolerant Barrier Synchronization., и . Inf. Process. Lett., 64 (1): 29-36 (1997)DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language., , , , , , , , и . ICCCN, стр. 541-547. IEEE, (2008)