The following pages link to Ilaria Castellani (Q315295):
Displaying 39 items.
- Self-adaptation and secure information flow in multiparty communications (Q315296) (← links)
- Typing access control and secure information flow in sessions (Q462485) (← links)
- (Q685412) (redirect page) (← links)
- Observing localities (Q685414) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Typing noninterference for reactive programs (Q997991) (← links)
- Bisimulations and abstraction homomorphisms (Q1089791) (← links)
- Concurrency and atomicity (Q1124366) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- A theory of processes with localities (Q1329198) (← links)
- Flow models of distributed computations: Three equivalent semantics for CCS (Q1341775) (← links)
- An algebraic characterization of observational equivalence (Q1351804) (← links)
- Noninterference for concurrent programs and thread systems (Q1603688) (← links)
- Global types with internal delegation (Q2286741) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- (Q2760252) (← links)
- Fine-Grained and Coarse-Grained Reactive Noninterference (Q2830033) (← links)
- Information flow safety in multiparty sessions (Q2971077) (← links)
- Distributed bisimulations (Q3474903) (← links)
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra (Q3507401) (← links)
- Session Types for Access and Information Flow Control (Q3584933) (← links)
- (Q3657423) (← links)
- (Q3666283) (← links)
- (Q3677164) (← links)
- (Q3805920) (← links)
- (Q3817586) (← links)
- (Q4035230) (← links)
- (Q4501674) (← links)
- (Q4535032) (← links)
- (Q4721639) (← links)
- (Q4733397) (← links)
- OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES (Q4867409) (← links)
- (Q4965856) (← links)
- Concurrent Reversible Sessions (Q5111644) (← links)
- Reactive Concurrent Programming Revisited (Q5262951) (← links)
- Branching pomsets: design, expressiveness and applications to choreographies (Q6151606) (← links)
- CONCUR test-of-time award 2022 (invited paper) (Q6587106) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
