default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIlaria Castellani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j26]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions. Fundam. Informaticae 192(1): 1-75 (2024)- [j25]Luc Edixhoven
, Sung-Shik Jongmans, José Proença, Ilaria Castellani:
Branching pomsets: Design, expressiveness and applications to choreographies. J. Log. Algebraic Methods Program. 136: 100919 (2024) - [c32]Ilaria Castellani:
A simple view of multiparty session types. PPDP 2024: 1:1-1:3 - [c31]Ilaria Castellani, Paola Giannini:
Towards a Semantic Characterisation of Global Type Well-formedness. PLACES@ETAPS 2024: 11-21 - [e4]Ilaria Castellani, Francesco Tiezzi:
Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Lecture Notes in Computer Science 14676, Springer 2024, ISBN 978-3-031-62696-8 [contents] - 2023
- [j24]Ilaria Castellani, Pedro R. D'Argenio, Mohammad Reza Mousavi, Ana Sokolova:
Preface to the special issue on Open Problems in Concurrency Theory. J. Log. Algebraic Methods Program. 130: 100823 (2023) - [j23]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. J. Log. Algebraic Methods Program. 131: 100844 (2023) - [c30]Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi:
EXPRESSing Session Types. EXPRESS/SOS 2023: 8-25 - [e3]Ilaria Castellani, Alceste Scalas:
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023. EPTCS 378, 2023 [contents] - 2022
- [c29]Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi:
CONCUR Test-Of-Time Award 2022 (Invited Paper). CONCUR 2022: 1:1-1:3 - [c28]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Asynchronous Sessions with Input Races. PLACES@ETAPS 2022: 12-23 - [i4]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event structure semantics for multiparty sessions. CoRR abs/2201.00221 (2022) - 2021
- [i3]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Global types and event structure semantics for asynchronous multiparty sessions. CoRR abs/2102.00865 (2021) - 2020
- [j22]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini, Ross Horne:
Global types with internal delegation. Theor. Comput. Sci. 807: 128-153 (2020)
2010 – 2019
- 2019
- [j21]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Reversible sessions with flexible choices. Acta Informatica 56(7-8): 553-583 (2019) - [j20]Ilaria Castellani, Mohammad Reza Mousavi:
Special Issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2015 and 2016). J. Log. Algebraic Methods Program. 107: 175-176 (2019) - [c27]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Event Structure Semantics for Multiparty Sessions. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 340-363 - 2017
- [j19]Ilaria Castellani, Mohammad Reza Mousavi:
Preface: Special issue on Trends in Concurrency Theory (selected invited contributions from the workshops TRENDS 2014 and 2015). J. Log. Algebraic Methods Program. 87: 93 (2017) - [c26]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini:
Concurrent Reversible Sessions. CONCUR 2017: 30:1-30:17 - 2016
- [j18]Ilaria Castellani, Silvia Crafa:
A quarter of a century of CONCUR - Report on the 2014 and 2015 editions of the Conference on Concurrency Theory. Bull. EATCS 118 (2016) - [j17]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-adaptation and secure information flow in multiparty communications. Formal Aspects Comput. 28(4): 669-696 (2016) - [j16]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26(8): 1352-1394 (2016) - [c25]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro:
Secure Multiparty Sessions with Topics. PLACES 2016: 1-12 - 2015
- [j15]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. J. Log. Algebraic Methods Program. 84(6): 763-780 (2015) - [i2]Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira:
Combining behavioural types with security analysis. CoRR abs/1510.02229 (2015) - 2014
- [j14]Ilaria Castellani:
Report on WS25CCC. Bull. EATCS 112 (2014) - [j13]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Typing access control and secure information flow in sessions. Inf. Comput. 238: 68-105 (2014) - [c24]Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez:
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT 2014: 9-18 - 2013
- [c23]Pejman Attar, Ilaria Castellani:
Fine-Grained and Coarse-Grained Reactive Noninterference. TGC 2013: 159-179 - 2011
- [c22]Viviana Bono, Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
A Reputation System for Multirole Sessions. TGC 2011: 1-24 - [c21]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
Information Flow Safety in Multiparty Sessions. EXPRESS 2011: 16-30 - 2010
- [c20]Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Tamara Rezk:
Session Types for Access and Information Flow Control. CONCUR 2010: 237-252
2000 – 2009
- 2008
- [c19]Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel:
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra. Concurrency, Graphs and Models 2008: 757-777 - 2007
- [j12]Ana Almeida Matos, Gérard Boudol, Ilaria Castellani:
Typing noninterference for reactive programs. J. Log. Algebraic Methods Program. 72(2): 124-156 (2007) - [c18]Ilaria Castellani:
State-oriented Noninterference for CCS. SecCO@CONCUR 2007: 39-60 - 2005
- [c17]Roberto M. Amadio, Gérard Boudol, Frédéric Boussinot, Ilaria Castellani:
Reactive Concurrent Programming Revisited. APC 25 2005: 49-60 - [i1]Roberto M. Amadio, Gérard Boudol, Ilaria Castellani, Frédéric Boussinot:
Reactive concurrent programming revisited. CoRR abs/cs/0512058 (2005) - 2002
- [j11]Gérard Boudol, Ilaria Castellani:
Noninterference for concurrent programs and thread systems. Theor. Comput. Sci. 281(1-2): 109-130 (2002) - 2001
- [c16]Gérard Boudol, Ilaria Castellani:
Noninterference for Concurrent Programs. ICALP 2001: 382-395 - [p1]Ilaria Castellani:
Process Algebras with Localities. Handbook of Process Algebra 2001: 945-1045
1990 – 1999
- 1999
- [c15]Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan:
Synthesizing Distributed Transition Systems from Global Specification. FSTTCS 1999: 219-231 - [c14]Ilaria Castellani, Björn Victor:
Preface. EXPRESS 1999: 1-2 - [e2]Ilaria Castellani, Björn Victor:
6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999. Electronic Notes in Theoretical Computer Science 27, Elsevier 1999 [contents] - 1998
- [j10]Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi:
On Bisimulations for the Asynchronous pi-Calculus. Theor. Comput. Sci. 195(2): 291-324 (1998) - [c13]Ilaria Castellani, Matthew Hennessy:
Testing Theories for Asynchronous Languages. FSTTCS 1998: 90-101 - [c12]Ilaria Castellani, Catuscia Palamidessi:
Preface. EXPRESS 1998: 171-172 - [e1]Ilaria Castellani, Catuscia Palamidessi:
Fifth International Workshop on Expressiveness in Concurrency, EXPRESS 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 7, 1998. Electronic Notes in Theoretical Computer Science 16(2), Elsevier 1998 [contents] - 1997
- [j9]Ilaria Castellani, Guo-Qiang Zhang:
Parallel Product of Event Structures. Theor. Comput. Sci. 179(1-2): 203-215 (1997) - 1996
- [j8]André Arnold, Ilaria Castellani:
An Algebraic Characterization of Observational Equivalence. Theor. Comput. Sci. 156(1&2): 289-299 (1996) - [c11]Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi:
On Bisimulations for the Asynchronous pi-Calculus. CONCUR 1996: 147-162 - 1995
- [j7]Ilaria Castellani:
Observing Distribution in Processes: Static and Dynamic Localities. Int. J. Found. Comput. Sci. 6(4): 353-393 (1995) - 1994
- [j6]Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. Formal Aspects Comput. 6(2): 165-200 (1994) - [j5]Gérard Boudol, Ilaria Castellani:
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Inf. Comput. 114(2): 247-314 (1994) - 1993
- [j4]Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
Observing Localities. Theor. Comput. Sci. 114(1): 31-61 (1993) - [c10]Ilaria Castellani:
Observing Distribution in Processes. MFCS 1993: 321-331 - [c9]Ilaria Castellani:
Causal and Distributed Semantics for Concurrent Processes (Abstract). STACS 1993: 1 - 1992
- [c8]Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract). CONCUR 1992: 108-122 - 1991
- [c7]Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
Observing Localities (Extended Abstract). MFCS 1991: 93-102 - 1990
- [c6]Gérard Boudol, Ilaria Castellani:
Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes 1990: 96-141
1980 – 1989
- 1989
- [j3]Ilaria Castellani, Matthew Hennessy:
Distributed bisimulations. J. ACM 36(4): 887-911 (1989) - 1988
- [j2]Gérard Boudol, Ilaria Castellani:
Concurrency and Atomicity. Theor. Comput. Sci. 59: 25-84 (1988) - [c5]Gérard Boudol, Ilaria Castellani:
Permutation of transitions: An event structure semantics for CCS and SCCS. REX Workshop 1988: 411-427 - 1987
- [j1]Ilaria Castellani:
Bisimulations and Abstraction Homomorphisms. J. Comput. Syst. Sci. 34(2/3): 210-235 (1987) - [c4]Gérard Boudol, Ilaria Castellani:
On the Semantics of Concurrency: Partial Orders and Transition Systems. TAPSOFT, Vol.1 1987: 123-137 - 1985
- [c3]Ilaria Castellani:
Bisimulations and Abstraction Homomorphisms. TAPSOFT, Vol.1 1985: 223-238 - 1982
- [c2]Ilaria Castellani, Ugo Montanari:
Graph Grammars for distributed systems. Graph-Grammars and Their Application to Computer Science 1982: 20-38 - [c1]Ilaria Castellani, Paola Franceschi, Ugo Montanari:
Labeled Event Structures: A Model for Observable Concurrency. Formal Description of Programming Concepts 1982: 383-400
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
