( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Explicit Identifiers and Contexts in Reversible Concurrent Calculus.

, и . RC, том 12805 из Lecture Notes in Computer Science, стр. 144-162. Springer, (2021)

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.

Hans Medick

Claus Medicus

Gabriela Naemi Medici

Otto Medicus

Gustav Medicus

 

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

Explicit Identifiers and Contexts in Reversible Concurrent Calculus., и . RC, том 12805 из Lecture Notes in Computer Science, стр. 144-162. Springer, (2021)Towards a Formal Account for Software Transactional Memory., , , и . RC, том 12227 из Lecture Notes in Computer Science, стр. 255-263. Springer, (2020)Experimenting with Emerging ARM and RISC-V Systems for Decentralised Machine Learning., , , , , , , , , и 3 other автор(ы). CoRR, (2023)Towards formal model for location aware workflows., и . COMPSAC, стр. 1864-1869. IEEE, (2023)A Systematic Mapping Study of Italian Research on Workflows., , , , , , , , , и 9 other автор(ы). SC Workshops, стр. 2065-2076. ACM, (2023)Relative expressiveness of calculi for reversible concurrency.. Bull. EATCS, (2019)Towards Parametric Causal Semantics in pi-calculus., и . ICTCS/CILC, том 1949 из CEUR Workshop Proceedings, стр. 121-125. CEUR-WS.org, (2017)Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning., , , , , , , , , и 3 other автор(ы). CF, стр. 73-83. ACM, (2023)Static VS Dynamic Reversibility in CCS., и . RC, том 9720 из Lecture Notes in Computer Science, стр. 36-51. Springer, (2016)A Fault Tolerance Mechanism for Hybrid Scientific Workflows., , и . CoRR, (2024)