Ilaria Castellani

Available identifiers

zbMath Open castellani.ilariaMaRDI QIDQ315295

List of research outcomes

Publication	Date of Publication	Type
Event structure semantics for multiparty sessions	2024-02-23	Paper
Branching pomsets: design, expressiveness and applications to choreographies	2024-02-12	Paper
On bisimulations for the asynchronous π-calculus	2023-06-28	Paper
Event structure semantics for multiparty sessions	2023-02-03	Paper
https://portal.mardi4nfdi.de/entity/Q4965856	2021-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5111644	2020-05-27	Paper
Global types with internal delegation	2020-01-22	Paper
Reversible sessions with flexible choices	2019-10-17	Paper
Information flow safety in multiparty sessions	2017-04-04	Paper
Fine-Grained and Coarse-Grained Reactive Noninterference	2016-11-09	Paper
Self-adaptation and secure information flow in multiparty communications	2016-09-20	Paper
Combining behavioural types with security analysis	2015-11-10	Paper
Reactive Concurrent Programming Revisited	2015-07-10	Paper
Typing access control and secure information flow in sessions	2014-10-20	Paper
Session Types for Access and Information Flow Control	2010-08-31	Paper
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra	2008-06-19	Paper
Typing noninterference for reactive programs	2007-08-10	Paper
Noninterference for concurrent programs and thread systems	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4535032	2002-06-12	Paper
https://portal.mardi4nfdi.de/entity/Q2760252	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4501674	2000-11-07	Paper
On bisimulations for the asynchronous \(\pi\)-calculus	1999-01-20	Paper
An algebraic characterization of observational equivalence	1997-02-27	Paper
OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES	1996-08-13	Paper
Flow models of distributed computations: Three equivalent semantics for CCS	1995-01-11	Paper
A theory of processes with localities	1994-06-29	Paper
Observing localities	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4035230	1993-05-18	Paper
Distributed bisimulations	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733397	1989-01-01	Paper
Concurrency and atomicity	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3805920	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3817586	1988-01-01	Paper
Bisimulations and abstraction homomorphisms	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721639	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677164	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657423	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3666283	1983-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ilaria Castellani