( en | de | ru )

 

Disambiguation of "Medic, Doriana"

Author of the publication

copydeleteadd this publication to your clipboard
Explicit Identifiers and Contexts in Reversible Concurrent Calculus.

, and . RC, volume 12805 of Lecture Notes in Computer Science, page 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. 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

Gustav 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)Enabling Replications and Contexts in Reversible Concurrent Calculus., and . CoRR, (2021)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)A parametric framework for reversible π-calculi., , , and . Inf. Comput., (2020)Towards formal model for location aware workflows., and . COMPSAC, page 1864-1869. IEEE, (2023)