Ioana Cristescu

From MaRDI portal
Person:347362

Available identifiers

zbMath Open cristescu.ioana-domninaMaRDI QIDQ347362

List of research outcomes





PublicationDate of PublicationType
Counters in Kappa: semantics, simulation, and static analysis2023-11-24Paper
https://portal.mardi4nfdi.de/entity/Q50892702022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q49658582021-03-10Paper
Expressiveness of concurrent intensionality2020-08-25Paper
How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation2020-05-14Paper
Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)2020-05-14Paper
https://portal.mardi4nfdi.de/entity/Q52161532020-02-14Paper
A Compositional Semantics for the Reversible p-Calculus2017-07-03Paper
Termination in a π-calculus with subtyping2017-04-04Paper
Contextual equivalences in configuration structures and reversibility2016-11-30Paper
Rigid Families for the Reversible $$\pi $$ -Calculus2016-08-10Paper
Rigid Families for CCS and the $$\pi $$ -calculus2016-02-25Paper

Research outcomes over time

This page was built for person: Ioana Cristescu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:347362&oldid=7009388"
Powered by MediaWiki