Searching for authors named "Ilaria Castellani" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Noninterference for concurrent programs and thread systems
- … Noninterference for Concurrent Programs and Thread Systems \Lambda G'erard Boudol and Ilaria…
- Cited by 40 (2 self) – Add To MetaCart
-
Observing Distribution in Processes: Static and Dynamic Localities
- … AUTOMATIQUE Observing distribution in processes: static and dynamic localities Ilaria Castellani N 2276 Mai…
- Add To MetaCart
-
Noninterference for Concurrent Programs
- … Noninterference for Concurrent Programs \Lambda Ge'rard Boudol and Ilaria Castellani INRIA…
- Cited by 19 (2 self) – Add To MetaCart
-
Parallel Product Of Event Structures
- …PARALLEL PRODUCT OF EVENT STRUCTURES Ilaria Castellani INRIA, Sophia-Antipolis, 06560 Valbonne…
- Cited by 6 (0 self) – Add To MetaCart
-
Testing Theories for Asynchronous Languages
- …Testing Theories for Asynchronous Languages ? Ilaria Castellani 1 and Matthew Hennessy 2 1…
- Cited by 13 (1 self) – Add To MetaCart
-
Testing Theories for Asynchronous Languages
- …Testing Theories for Asynchronous Languages ? Ilaria Castellani 1 and Matthew Hennessy 2 1…
- Add To MetaCart
-
Synthesizing Distributed Transition Systems From Global Specifications
- …Synthesizing distributed transition systems from global specifications ? Ilaria Castellani 1…
- Cited by 9 (0 self) – Add To MetaCart
-
On Bisimulations for the Asynchronous π-calculus
- …On Bisimulations for the Asynchronous -calculus ? Roberto M. Amadio a;1 Ilaria Castellani b;1…
- Cited by 13 (0 self) – Add To MetaCart
-
Typing Noninterference for Reactive Programs
- …Typing Noninterference for Reactive Programs ∗ Ana Almeida Matos Gérard Boudol Ilaria Castellani…
- Cited by 12 (2 self) – Add To MetaCart
-
unknown title
- …. Amadio a, G'erard Boudol b, Fr'ed'eric Boussinot b and Ilaria Castellani b a PPS, Universit'e Denis…
- Add To MetaCart
Showing 1 through 10.
