GORLA, DANIELE

GORLA, DANIELE  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 92 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) File
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 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
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