I
Ioana Cristescu
Researcher at Harvard University
Publications - 19
Citations - 293
Ioana Cristescu is an academic researcher from Harvard University. The author has contributed to research in topics: Bisimulation & Concurrency. The author has an hindex of 6, co-authored 18 publications receiving 233 citations. Previous affiliations of Ioana Cristescu include École normale supérieure de Lyon & Paris Diderot University.
Papers
More filters
Journal ArticleDOI
The Kappa platform for rule-based modeling
Pierre Boutillier,Mutaamba Maasha,Xing Li,Hector F. Medina-Abarca,Jean Krivine,Jérôme Feret,Ioana Cristescu,Angus G. Forbes,Walter Fontana +8 more
TL;DR: An overview of the Kappa platform is presented, an integrated suite of analysis and visualization techniques for building and interactively exploring rule‐based models, which includes the contact map, snaphots at different resolutions, the dynamic influence network (DIN), and causal compression.
Proceedings ArticleDOI
A Compositional Semantics for the Reversible p-Calculus
TL;DR: This work introduces a labelled transition semantics for the reversible π-calculus, the first account of a compositional definition of a reversible calculus, that has both concurrency primitives and name mobility.
Book ChapterDOI
Rigid Families for CCS and the $$\pi $$-calculus
TL;DR: In this model causality and concurrency are derived from precedence, a partial order local to each run of a process, and it is shown that the causal semantics can interpret CCS and $$\pi $$-calculus terms.
Journal ArticleDOI
Contextual equivalences in configuration structures and reversibility
Clément Aubert,Ioana Cristescu +1 more
TL;DR: It is shown that the relation induced by the back-and-forth congruence on configuration structures is equivalent to Hereditary history preserving bisimulation, thus providing a contextual characterization of HHPB.
Book ChapterDOI
Rigid Families for the Reversible \(\pi \)-Calculus
TL;DR: This paper uses rigid families to give a denotational representation to the reversible \(\pi \)-calculus, and discusses the difference in the two causal representations, in rigid families and in the reversible\)calculus.