E-LIB Suche - Ergebnisse für: Castellani Ilaria

1

Branching pomsets: Design, expressiveness and applications ..:

Edixhoven, Luc ; Jongmans, Sung-Shik ; Proença, José.
Journal of Logical and Algebraic Methods in Programming. 136 (2024) - p. 100919 , 2024

Link: https://doi.org/10.1016/..

2

Coordination Models and Languages: 26th IFIP WG 6.1 Interna..

Lecture Notes in Computer Science, 14676

Castellani, Ilaria ; Tiezzi, Francesco - 1st ed. 2024 . , 2024

Link: https://doi.org/10.1007/..

3

Event structure semantics for multiparty sessions:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100844 , 2023

Link: https://doi.org/10.1016/..

4

Preface to the special issue on Open Problems in Concurrenc..:

Castellani, Ilaria ; D'Argenio, Pedro R. ; Mousavi, Mohammad Reza.
Journal of Logical and Algebraic Methods in Programming. 130 (2023) - p. 100823 , 2023

Link: https://doi.org/10.1016/..

5

Global types with internal delegation:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola.
Theoretical Computer Science. 807 (2020) - p. 128-153 , 2020

Link: https://doi.org/10.1016/..

6

Reversible sessions with flexible choices:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola
Acta Informatica. 56 (2019) 7-8 - p. 553-583 , 2019

Link: https://doi.org/10.1007/..

7

Special Issue on Trends in Concurrency Theory (selected inv..:

Castellani, Ilaria ; Mousavi, Mohammad Reza
Journal of Logical and Algebraic Methods in Programming. 107 (2019) - p. 175-176 , 2019

Link: https://doi.org/10.1016/..

8

Event Structure Semantics for Multiparty Sessions:

, In: Models, Languages, and Tools for Concurrent and Distributed Programming; Lecture Notes in Computer Science,

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Giannini, Paola - p. 340-363 , 2019

Link: https://doi.org/10.1007/..

9

Preface: Special issue on Trends in Concurrency Theory (sel..:

Castellani, Ilaria ; Reza Mousavi, Mohammad
Journal of Logical and Algebraic Methods in Programming. 87 (2017) - p. 93 , 2017

Link: https://doi.org/10.1016/..

10

Self-adaptation and secure information flow in multiparty c..:

Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola ; Pérez, Jorge A.
Formal Aspects of Computing. 28 (2016) 4 - p. 669-696 , 2016

Link: https://doi.org/10.1007/..

11

Combining behavioural types with security analysis:

Bartoletti, Massimo ; Castellani, Ilaria ; Deniélou, Pierre-Malo...
Journal of Logical and Algebraic Methods in Programming. 84 (2015) 6 - p. 763-780 , 2015

Link: https://doi.org/10.1016/..

12

Information flow safety in multiparty sessions:

CAPECCHI, SARA ; CASTELLANI, ILARIA ; DEZANI-CIANCAGLINI, MARIANGIOLA
Mathematical Structures in Computer Science. 26 (2015) 8 - p. 1352-1394 , 2015

Link: https://doi.org/10.1017/..

13

Typing access control and secure information flow in sessio..:

Capecchi, Sara ; Castellani, Ilaria ; Dezani-Ciancaglini, Mariangiola
Information and Computation. 238 (2014) - p. 68-105 , 2014

Link: https://doi.org/10.1016/..

14

Typing noninterference for reactive programs:

Almeida Matos, Ana ; Boudol, Gérard ; Castellani, Ilaria
The Journal of Logic and Algebraic Programming. 72 (2007) 2 - p. 124-156 , 2007

Link: https://doi.org/10.1016/..

15

State-oriented Noninterference for CCS:

Castellani, Ilaria
Electronic Notes in Theoretical Computer Science. 194 (2007) 1 - p. 39-60 , 2007

Link: https://doi.org/10.1016/..