GORLA, DANIELE
GORLA, DANIELE
DIPARTIMENTO DI INFORMATICA
A Concurrent Pattern Calculus
2014 T., Given Wilson; Gorla, Daniele; B., Jay
A distributed calculus for role-based access control
2004 C., Braghin; Gorla, Daniele; V., Sassone
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
2018 Bottoni, Paolo Gaspare; Gorla, Daniele; Kasangian, Stefano; Labella, Anna
A Polynomial-Time Algorithm for detecting the possibility of Braess Paradox in Directed Graphs
2019 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
A semiring-based trace semantics for processes with applications to information leakage analysis
2014 Boreale, Michele; Clark, David; Gorla, Daniele
A semiring-based trace semantics for processes with applications to information leakage analysis
2010 Michele, Boreale; David, Clark; Gorla, Daniele
A Sound Type System for Secure Currency Flow
2024 Aceto, Luca; Gorla, Daniele; Lybech, Stian
A taxonomy of process calculi for distribution and mobility
2010 Gorla, Daniele
Algebra and Coalgebra of Stream Products
2021 Boreale, Michele; Gorla, Daniele
An Implicit Function Theorem for the Stream Calculus
2024 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Approximate model counting, sparse XOR constraints and minimum distance
2019 Boreale, M.; Gorla, D.
BaBE: Enhancing Fairness via Estimation of Explaining Variables
2024 Binkyte, Ruta; Gorla, Daniele; Palamidessi, Catuscia
Basic observables for a calculus for global computing
2007 Rocco De, Nicola; Gorla, Daniele; Rosario, Pugliese
Basic Observables for a Calculus for Global Computing
2005 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
Behavioural Logics for Configuration Structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
Centralized vs Decentralized Monitors for Hyperproperties
2024 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
Characterising Spectra of Equivalences for Event Structures, Logically
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
COGS
2003 Gorla, Daniele
Comparing communication primitives via their relative expressive power
2008 Gorla, Daniele
CONCUR (25th International Conference in Concurrency Theory)
2014 Baldan, Paolo; Gorla, Daniele