#### Filter Results:

- Full text PDF available (10)

#### Publication Year

1964

2017

- This year (2)
- Last 5 years (9)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Ioana Cristescu, Jean Krivine, Daniele Varacca
- 2013 28th Annual ACM/IEEE Symposium on Logic inâ€¦
- 2013

We introduce a labelled transition semantics for the reversible p-calculus. It is the first account of a compositional definition of a reversible calculus, that has both concurrency primitives andâ€¦ (More)

In the present paper, we introduce a fully compo-<lb>sitional semantics for the reversible Ï€-calculus. It is the first<lb>account of a compositional definition of a reversible calculus,<lb>that hasâ€¦ (More)

- Ioana Cristescu, Jean Krivine, Daniele Varacca
- ICTAC
- 2015

This paper presents a novel causal semantics for concurrency, based on rigid families. Instead of having causality as primitive notion, in our model causality and concurrency are derived fromâ€¦ (More)

Rigid families, a causal model for concurrency based on configuration structures, can interpret CCS and the Ï€-calculus. However, it is also a causal model suited for reversible calculi. In this paperâ€¦ (More)

- ClÃ©ment Aubert, Ioana Cristescu
- J. Log. Algebr. Meth. Program.
- 2017

Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are aâ€¦ (More)

- Ioana Cristescu, Daniel Hirschkoff
- Mathematical Structures in Computer Science
- 2016

We present a type system to guarantee termination of Ï€-calculus processes that exploits input/output capabilities and subtyping, as originally introduced by Pierce and Sangiorgi, in order to analyseâ€¦ (More)

- Dan Stanescu, LuminiÈ›a Pilat, Nichita Gavrilescu, Dan B Teculescu, Ioana Cristescu
- British journal of industrial medicine
- 1967

Sixteen working welders with more than seven years' exposure and a chest radiograph suggestive of siderosis and I3 healthy unexposed men were studied. Each subject had a comprehensive medical andâ€¦ (More)

- William L Wurster, Ioana Cristescu, F. Eichelhardt, Garcia de Frutos Ana, Philippe Pfeifer
- 2009 23rd IEEE/NPSS Symposium on Fusionâ€¦
- 2009

In nuclear fusion technology, as it is applied in the fusion reactor ITER, tritium is used as fuel to promote deuterium - tritium fusion reactions. As a result of tritium handling, considerableâ€¦ (More)

- Sandrine Rosanvallon, N. Bekris, +14 authors Paul lez Durance
- 2005

EFDA Close Support Unit, Culham Science Centre, Abingdon OX14 3DB, U.K. e-mail: Sandrine.Rosanvallon@jet.efda.org Association Euratom/Forschungszentrum Karlsruhe, Postfach 3640, 76021 Karlsruhe,â€¦ (More)

- E Nichifor, Marius Ioan Balea, +5 authors S Sonoc
- Medecine interne
- 1985

The study was carried out in an attempt to explain the familial character of endemic Balkan nephropathy and of agglomeration of cases in certain households and in the ascendency of certain families.â€¦ (More)