( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors.

, , и . VORTEX@ECOOP/ISSTA, том 302 из EPTCS, стр. 32-46. (2018)

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.

Ludovic Henrio

Ludovic Magerand

Ludovic Hofer

Ludovic Devaux

Ludovic Durand

 

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

On Reachability in Parameterized Phaser Programs., , , , и . TACAS (1), том 11427 из Lecture Notes in Computer Science, стр. 299-315. Springer, (2019)Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq., , , , и . Proc. ACM Program. Lang., 7 (POPL): 1770-1800 (января 2023)Mechanical Support for Efficient Dissemination on the CAN Overlay Network, и . 8ème Conférence Francaise sur les Systèmes d'Exploitation (CFSE'11), Chapitre francais de l'ACM-SIGOPS, GDR ARP, (мая 2011)Transparent First-class Futures and Distributed Components., , и . FACS, том 260 из Electronic Notes in Theoretical Computer Science, стр. 155-171. Elsevier, (2008)Unifying Architectural and Behavioural Specifications of Distributed Components., , , и . FACS, том 260 из Electronic Notes in Theoretical Computer Science, стр. 25-45. Elsevier, (2008)Leveraging access mode declarations in a model for memory consistency in heterogeneous systems., , и . J. Log. Algebraic Methods Program., (2020)S4BXI: the MPI-ready Portals 4 Simulator., , , и . MASCOTS, стр. 1-8. IEEE, (2021)Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq., , , , и . CoRR, (2022)Promise Plus: Flexible Synchronization for Parallel Computations on Arrays., , и . FSEN, том 12818 из Lecture Notes in Computer Science, стр. 190-196. Springer, (2021)Active Objects with Deterministic Behaviour., , и . IFM, том 12546 из Lecture Notes in Computer Science, стр. 181-198. Springer, (2020)