( en | de | ru )

 

Disambiguation of "Medic, Doriana"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a Formal Account for Software Transactional Memory.

, , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 255-263. Springer, (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. You can also use the button next to the name to display some publications already assigned to the person.

Hans Medick

Claus Medicus

Gabriela Naemi Medici

Otto Medicus

Dieter Medicus

 

Other publications of authors with the same name

Static VS Dynamic Reversibility in CCS., and . RC, volume 9720 of Lecture Notes in Computer Science, page 36-51. Springer, (2016)Relative expressiveness of calculi for reversible concurrency.. Bull. EATCS, (2019)Experimenting with Emerging RISC-V Systems for Decentralised Machine Learning., , , , , , , , , and 3 other author(s). CF, page 73-83. ACM, (2023)Towards Parametric Causal Semantics in pi-calculus., and . ICTCS/CILC, volume 1949 of CEUR Workshop Proceedings, page 121-125. CEUR-WS.org, (2017)Experimenting with Emerging ARM and RISC-V Systems for Decentralised Machine Learning., , , , , , , , , and 3 other author(s). CoRR, (2023)Towards a Formal Account for Software Transactional Memory., , , and . RC, volume 12227 of Lecture Notes in Computer Science, page 255-263. Springer, (2020)Explicit Identifiers and Contexts in Reversible Concurrent Calculus., and . RC, volume 12805 of Lecture Notes in Computer Science, page 144-162. Springer, (2021)Towards formal model for location aware workflows., and . COMPSAC, page 1864-1869. IEEE, (2023)A Systematic Mapping Study of Italian Research on Workflows., , , , , , , , , and 9 other author(s). SC Workshops, page 2065-2076. ACM, (2023)Static versus dynamic reversibility in CCS., , and . Acta Informatica, 58 (1-2): 1-34 (2021)