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 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
2023 Boreale, Michele; Collodi, Luisa; Gorla, Daniele
Approximate model counting, sparse XOR constraints and minimum distance
2019 Boreale, M.; Gorla, D.
Basic Observables for a Calculus for Global Computing
2005 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
Basic observables for a calculus for global computing
2007 Rocco De, Nicola; Gorla, Daniele; Rosario, Pugliese
Behavioural Logics for Configuration Structures
2022 Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano
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
CONCUR 2014 – Concurrency Theory
2014 Baldan, Paolo; Gorla, Daniele
CONCUR'10
2010 P., Gastin; F., Laroussinie; Gorla, Daniele
Concurrent pattern calculus
2010 Thomas Given, Wilson; Gorla, Daniele; Barry, Jay