Searching for authors named "Ilaria Castellani" – sorted by Relevance.
-
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

