Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computin... von Castellani, Ilaria, Tiezzi, Francesco

Volltext

Coordination Models and Languages: 26th IFIP WG 6. 1 International Conference, COORDINATION 2024, Held As Part of the 19th International Federated Conference on Distributed Computi... von Castellani, Ilaria, Tiezzi, Francesco

Volltext

Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions: Invited talk at the 15th Interaction and Concurrency Experience von Castellani, Ilaria

Volltext

Towards a Semantic Characterisation of Global Type Well-formedness von Castellani, Ilaria, Giannini, Paola

Volltext

Secure Multiparty Sessions with Topics von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, de'Liguoro, Ugo

Volltext

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software: Preface von Castellani, Ilaria, Scalas, Alceste

Volltext

Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software: Presentations of Preliminary or Already-Published Work von Castellani, Ilaria, Scalas, Alceste

Volltext

Global types with internal delegation von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross

Volltext

Coordination Models and Languages: 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computin...

Volltext

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Pérez, Jorge A.

Volltext

Reversible sessions with flexible choices von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Volltext

Information Flow Safety in Multiparty Sessions von Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Volltext

Event structure semantics for multiparty sessions von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Volltext

Asynchronous Sessions with Input Races von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Volltext

Event Structure Semantics for Multiparty Sessions von Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Volltext

Typing access control and secure information flow in sessions von Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Volltext

Information flow safety in multiparty sessions von CAPECCHI, SARA, CASTELLANI, ILARIA, DEZANI-CIANCAGLINI, MARIANGIOLA

Volltext

EXPRESSing Session Types von Castellani, Ilaria, Dardha, Ornela, Padovani, Luca, Sangiorgi, Davide

Volltext

Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016) von Castellani, Ilaria, Mousavi, Mohammad Reza

Volltext

The Concurrent Calculi Formalisation Benchmark von Carbone, Marco, Castro-Perez, David, Ferreira, Francisco, Gheri, Lorenzo, Jacobsen, Frederik Krogsdal, Momigliano, Alberto, Padovani, Luca, Scalas, Alceste, Tirore, Dawit, Vassor, Martin, Yoshida, Nobuko, Zackon, Daniel

Volltext