D
Doriana Medić
Researcher at University of Bologna
Publications - 10
Citations - 78
Doriana Medić is an academic researcher from University of Bologna. The author has contributed to research in topics: Process calculus & Concurrency. The author has an hindex of 4, co-authored 9 publications receiving 52 citations. Previous affiliations of Doriana Medić include French Institute for Research in Computer Science and Automation & IMT Institute for Advanced Studies Lucca.
Papers
More filters
Journal ArticleDOI
Static versus dynamic reversibility in CCS
TL;DR: This paper shows that RCCS and CCSK are equivalent in terms of LTS isomorphism, and makes CCS operators static so that computation does not cause information loss.
Book ChapterDOI
Static VS Dynamic Reversibility in CCS
TL;DR: This paper shows that RCCS is at least as expressive as CCSK, and proposes a general method to reverse a process calculus given in a particular SOS format.
Journal ArticleDOI
A parametric framework for reversible π-calculi
TL;DR: In this article, the authors present a uniform framework for reversible π-calculi that is parametric with respect to a data structure that stores information about the extrusion of a name.
Journal ArticleDOI
A Parametric Framework for Reversible $\pi$-Calculi
TL;DR: In this article, the authors present a uniform framework for reversible pi-calculi that is parametric with respect to a data structure that stores information about an extrusion of a name.
Proceedings ArticleDOI
A General Approach to Derive Uncontrolled Reversible Semantics
Ivan Lanese,Doriana Medić +1 more
TL;DR: This paper presents a general and automatic technique to define a causal-consistent reversible extension for given forward models, and covers a larger fragment of Core Erlang, including remote error handling based on links, which has never been considered in the reversibility literature.