Authors: Castellani, Ilaria, Giannini, Paola

Subject Terms: Logic in Computer Science cs.LO, FOS Computer and information sciences

Relation: https://dx.doi.org/10.4204/eptcs.401.2

Availability: https://doi.org/10.48550/arxiv.2404.0044610.4204/eptcs.401.2
https://arxiv.org/abs/2404.00446

Authors: Edixhoven, Luc, Jongmans, Sung-Shik, Proença, José, Castellani, Ilaria

Superior Title: In Journal of Logical and Algebraic Methods in Programming January 2024 136

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Contributors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Subject Terms: Communication-centric Systems, Communication-based Programming, Process Calculi, Event Structures, Multiparty Session Types.

File Description: ELETTRONICO

Relation: volume:131; firstpage:100844; journal:THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING; https://hdl.handle.net/11579/147480; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85143869354

Availability: https://doi.org/10.1016/j.jlamp.2022.100844
https://hdl.handle.net/11579/147480

Authors: Castellani, Ilaria, Dardha, Ornela, Padovani, Luca, Sangiorgi, Davide

Contributors: Languages de Programmation Sécures et Outils pour la Sécurité (SPLITS), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d'Azur (UCA), University of Glasgow, Università degli Studi di Camerino = University of Camerino (UNICAM), Fondements opérationnels, logiques et algébriques des systèmes logiciels (OLAS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)-Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Claudio Antares Mezzina, Georgiana Caltais

Superior Title: Electronic Proceedings in Theoretical Computer Science ; EXPRESS / SOS 2023 - Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics ; https://inria.hal.science/hal-04349502 ; EXPRESS / SOS 2023 - Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Sep 2023, Anvers (Antwerpen), Belgium. pp.8-25, ⟨10.4204/EPTCS.387.2⟩ ; https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?EXPRESS_SOS2023

Subject Terms: [INFO]Computer Science [cs]

Subject Geographic: Anvers (Antwerpen), Belgium

Relation: hal-04349502; https://inria.hal.science/hal-04349502; https://inria.hal.science/hal-04349502/document; https://inria.hal.science/hal-04349502/file/express-sos-23.pdf

Availability: https://doi.org/10.4204/EPTCS.387.2
https://inria.hal.science/hal-04349502
https://inria.hal.science/hal-04349502/document
https://inria.hal.science/hal-04349502/file/express-sos-23.pdf

Authors: Castellani, Ilaria, Scalas, Alceste

Superior Title: Castellani , I & Scalas , A 2023 , Proceedings of the 14 th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software : Preface . in Proceedings of the 14 th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software . Electronic Proceedings in Theoretical Computer Science , vol. 378 , 14 th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software , Paris , France , 22/04/2023 . https://doi.org/10.4204/EPTCS.378

File Description: application/pdf

Relation: https://orbit.dtu.dk/en/publications/f483b844-a41f-4047-8d16-f6817117dfaa

Availability: https://doi.org/10.4204/EPTCS.378
https://orbit.dtu.dk/en/publications/f483b844-a41f-4047-8d16-f6817117dfaa
https://backend.orbit.dtu.dk/ws/files/345993608/EPTCS_378_Programming_Language_Approaches_to_Concurrency_and_Communication-cEntric_Software.pdf

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d’Azur, Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO), Università del Piemonte Orientale - Dipartimento DISIT Italy, Marco Carbone, Rumyana Neykova

Superior Title: EPTCS, Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ; PLACES 2022 - 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ; https://inria.hal.science/hal-03940160 ; PLACES 2022 - 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Marco Carbone, Rumyana Neykova, Apr 2022, Munich (Allemagne), Germany. pp.12-23, ⟨10.4204/EPTCS.356.2⟩

Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Subject Geographic: Munich (Allemagne), Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2203.12142; hal-03940160; https://inria.hal.science/hal-03940160; https://inria.hal.science/hal-03940160/document; https://inria.hal.science/hal-03940160/file/places22.pdf; ARXIV: 2203.12142

Availability: https://doi.org/10.4204/EPTCS.356.2
https://inria.hal.science/hal-03940160
https://inria.hal.science/hal-03940160/document
https://inria.hal.science/hal-03940160/file/places22.pdf

Authors: Castellani, Ilaria, Gastin, Paul, Kupferman, Orna, Randour, Mickael, Sangiorgi, Davide

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), The Hebrew University of Jerusalem (HUJ), Université de Mons (UMons), Department of Computer Science and Engineering Bologna (DISI), Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO), Bartek Klin, Slawomir Lasota, Anca Muscholl

Superior Title: 33rd International Conference on Concurrency Theory (CONCUR 2022)
https://inria.hal.science/hal-03970965
33rd International Conference on Concurrency Theory (CONCUR 2022), Bartek Klin, Slawomir Lasota, Anca Muscholl, Sep 2022, Warsaw (Poland), Poland. pp.1:1-1:3, ⟨10.4230/LIPIcs.CONCUR.2022.1⟩
Schloss Dagstuhl -- Leibniz-Zentrum für Informatik

Subject Terms: Theory of computation, Concurrency, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Subject Geographic: Warsaw (Poland), Poland

Relation: hal-03970965; https://inria.hal.science/hal-03970965; https://inria.hal.science/hal-03970965/document; https://inria.hal.science/hal-03970965/file/LIPIcs-CONCUR-2022-ToT.pdf

Availability: https://doi.org/10.4230/LIPIcs.CONCUR.2022.1
https://inria.hal.science/hal-03970965
https://inria.hal.science/hal-03970965/document
https://inria.hal.science/hal-03970965/file/LIPIcs-CONCUR-2022-ToT.pdf

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Subject Terms: Computer Science - Logic in Computer Science, 68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 03B38:Type theory, F.3.2

Relation: http://arxiv.org/abs/2201.00221

Availability: http://arxiv.org/abs/2201.00221

Authors: Castellani, Ilaria^Aff18, Dezani-Ciancaglini, Mariangiola^Aff19, Giannini, Paola^Aff20

Contributors: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Boreale, Michele, editor^Aff14, Corradini, Flavio, editor^Aff15, Loreti, Michele, editor^Aff16, Pugliese, Rosario, editor^Aff17

Superior Title: Models, Languages, and Tools for Concurrent and Distributed Programming : Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday. 11665:340-363

Authors: Castellani, Ilaria^Aff1, Dezani-Ciancaglini, Mariangiola^Aff2, Giannini, Paola^Aff3

Superior Title: Acta Informatica. 56(7-8):553-583

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Subject Terms: Computer Science - Logic in Computer Science

Relation: http://arxiv.org/abs/2102.00865

Availability: http://arxiv.org/abs/2102.00865

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Dipartimento di Informatica Torino, Università degli studi di Torino = University of Turin (UNITO), Università del Piemonte Orientale - Dipartimento DISIT Italy, University of Luxembourg Luxembourg

Superior Title: ISSN: 1879-2294.

Subject Terms: Multiparty session types, Communication-centric systems, Process calculi, [INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing

Relation: hal-02419937; https://inria.hal.science/hal-02419937; https://inria.hal.science/hal-02419937/document; https://inria.hal.science/hal-02419937/file/cdgh19.pdf

Availability: https://doi.org/10.1016/j.tcs.2019.09.027
https://inria.hal.science/hal-02419937
https://inria.hal.science/hal-02419937/document
https://inria.hal.science/hal-02419937/file/cdgh19.pdf

Authors: Castellani, Ilaria, D'Argenio, Pedro, Mousavi, Mohammad Reza, Sokolova, Ana

Contributors: Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Universidad Nacional de Córdoba Argentina, CONICET-UNC Córdoba Argentina, King‘s College London, University of Salzburg

Superior Title: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-03970947 ; Journal of Logical and Algebraic Methods in Programming, 2023, 130, pp.100823. ⟨10.1016/j.jlamp.2022.100823⟩.

Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: hal-03970947; https://inria.hal.science/hal-03970947

Availability: https://doi.org/10.1016/j.jlamp.2022.100823
https://inria.hal.science/hal-03970947

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola, Horne, Ross James

Superior Title: Theoretical Computer Science (2019)

Subject Terms: Communication-centric Systems, Process Calculi, Multiparty Session Types, Engineering, computing & technology, Computer science, Ingénierie, informatique & technologie, Sciences informatiques

Relation: https://orbilu.uni.lu/handle/10993/41616; info:hdl:10993/41616; https://orbilu.uni.lu/bitstream/10993/41616/1/cdgh.pdf; scopus-id:2-s2.0-85073502116; wos:000512219400009

Availability: https://doi.org/10.1016/j.tcs.2019.09.027
https://orbilu.uni.lu/handle/10993/41616
https://orbilu.uni.lu/bitstream/10993/41616/1/cdgh.pdf

Authors: Castellani, Ilaria, DEZANI, Mariangiola, DE' LIGUORO, Ugo

Contributors: Castellani, Ilaria, Dezani, Mariangiola, De'Liguoro, Ugo

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000390317600002; ispartofbook:Proceedings PLACES 2016; PLACES 2016; volume:211; firstpage:1; lastpage:12; numberofpages:12; http://hdl.handle.net/2318/1597458; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84991594426; http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2016.1

Availability: https://doi.org/10.4204/EPTCS.211.1
http://hdl.handle.net/2318/1597458
http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2016.1

Authors: Attar, Pejman^Aff3, Castellani, Ilaria^Aff3

Contributors: Abadi, Martín, editor^Aff1, Lluch Lafuente, Alberto, editor^Aff2

Superior Title: Trustworthy Global Computing : 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. 8358:159-179

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Giannini, Paola

Subject Terms: Communication-centric Systems, Reversible Computation, Process Calculi, Multiparty Session Types

File Description: application/pdf

Relation: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2017; https://dx.doi.org/10.1017/S096012951400005X; https://dx.doi.org/10.1007/s00165-016-0358-2; https://dx.doi.org/10.4204/EPTCS.203; https://dx.doi.org/10.1017/S0960129514000243; https://dx.doi.org/10.1007/BFb0013028; https://dx.doi.org/10.1006/inco.1994.1088; https://dx.doi.org/10.2168/LMCS-8(1:24)2012; https://dx.doi.org/10.1007/978-3-319-40578-0_1; https://dx.doi.org/10.1007/978-3-540-28644-8_19; https://dx.doi.org/10.1007/978-3-642-15375-4_39; https://dx.doi.org/10.1007/978-3-642-17164-2_27; https://dx.doi.org/10.1145/1926385.1926435; https://dx.doi.org/10.1007/978-3-642-28869-2_10; https://dx.doi.org/10.4204/EPTCS.222.5; https://dx.doi.org/10.1016/j.jlamp.2016.09.003; https://dx.doi.org/10.4204/EPTCS.246.9; https://dx.doi.org/10.1007/BFb0053567

Availability: https://doi.org/10.4230/lipics.concur.2017.3010.4230/LIPIcs.CONCUR.201710.1017/S096012951400005X10.1007/s00165-016-0358-210.4204/EPTCS.20310.1017/S096012951400024310.1007/BFb001302810.1006/inco.1994.108810.2168/LMCS-8(1:24)201210.1007/978-3-319-40578-0_110.1007/978-3-540-28644-8_1910.1007/978-3-642-15375-4_3910.1007/978-3-642-17164-2_2710.1145/1926385.192643510.1007/978-3-642-28869-2_1010.4204/EPTCS.222.510.1016/j.jlamp.2016.09.00310.4204/EPTCS.246.910.1007/BFb0053567

Authors: Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola, Pérez, Jorge A.

Superior Title: Formal Aspects of Computing: Applicable Formal Methods. July 2016 28(4):669-696

Authors: Capecchi, Sara, Castellani, Ilaria, Dezani-Ciancaglini, Mariangiola

Superior Title: In Information and Computation November 2014 238:68-105

Authors: Bono, Viviana^Aff18, Capecchi, Sara^Aff18, Castellani, Ilaria^Aff19, Dezani-Ciancaglini, Mariangiola^Aff18

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Bruni, Roberto, editor^Aff16, Sassone, Vladimiro, editor^Aff17

Superior Title: Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. 7173:1-24