Ioana Cristescu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Counters in Kappa: semantics, simulation, and static analysis Programming Languages and Systems	2023-11-24	Paper
scientific article; zbMATH DE number 7559463 (Why is no real title available?) (available as arXiv preprint)	2022-07-18	Paper
Termination in a \(\pi\)-calculus with subtyping	2021-03-10	Paper
Termination in a \(\pi\)-calculus with subtyping (available as arXiv preprint)	2021-03-10	Paper
Expressiveness of concurrent intensionality Theoretical Computer Science	2020-08-25	Paper
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation (available as arXiv preprint)	2020-05-14	Paper
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)	2020-05-14	Paper
Reversible barbed congruence on configuration structures	2020-02-14	Paper
Reversible barbed congruence on configuration structures (available as arXiv preprint)	2020-02-14	Paper
A compositional semantics for the reversible \(\pi\)-calculus 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science	2017-07-03	Paper
Termination in a \(\pi\)-calculus with subtyping Mathematical Structures in Computer Science	2017-04-04	Paper
Contextual equivalences in configuration structures and reversibility Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Rigid families for the reversible \(\pi \)-calculus Reversible Computation	2016-08-10	Paper
Rigid families for CCS and the \(\pi\)-calculus Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper

Research outcomes over time

This page was built for person: Ioana Cristescu