Sfoglia per Autore
Global Computing in a Dynamic Network of Tuple Spaces
2006 DE NICOLA, R; Gorla, Daniele; Pugliese, R.
On the expressive power of the KLAIM based calculi
2006 De Nicola, R; Gorla, Daniele; Pugliese, R.
Preface (Proc. of Workshop on Security Is- sues in Concurrency - SecCo’07)
2007 Gorla, Daniele; Palamidessi, Catuscia
Basic observables for a calculus for global computing
2007 Rocco De, Nicola; Gorla, Daniele; Rosario, Pugliese
SecCo'07: Security Issues in Concurrency
2007 Gorla, Daniele; C., Palamidessi
EXPRESS'07: Expressiveness in Concurrency
2007 R., Amadio; T., Hildebrandt; Gorla, Daniele
Synchrony vs Asynchrony in Communication Primitives
2007 Gorla, Daniele
Introduzione alla logica e al linguaggio matematico
2008 BAGNI G., T; Gorla, Daniele; Labella, Anna
Towards a Unified Approach to Encodability and Separation Results for Process Calculi
2008 Gorla, Daniele
PPS
2008 Gorla, Daniele
PLID'08: Programming Language Interference and Dependence
2008 Samir, Genaim; Gorla, Daniele
Daniele Varacca
2008 Daniele, Varacca; Gorla, Daniele
From Flow Logic to Static Type Systems in Coordination Languages
2008 ROCCO DE, Nicola; Gorla, Daniele; RENÈ RYDHOF, Hansen; Flemming, Nielson; HANNE RIIS, Nielson; CHRISTIAN W., Probst; Rosario, Pugliese
EXPRESS'08: Expressiveness in Concurrency
2008 Gorla, Daniele; T., Hildebrandt
Network Applications of Graph Bisimulation
2008 Cenciarelli, Pietro; Gorla, Daniele; E., Tuosto
Comparing communication primitives via their relative expressive power
2008 Gorla, Daniele
David Clark
2009 David, Clark; Gorla, Daniele
Depletable Channels: Dynamics and Behaviour
2009 Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano
EXPRESS'09: Expressiveness in Concurrency
2009 S., Froeschle; Gorla, Daniele
Introduzione alla logica e al linguaggio matematico
2009 G. T., Bagni; Gorla, Daniele; Labella, Anna
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Global Computing in a Dynamic Network of Tuple Spaces | 2006 | DE NICOLA, R; Gorla, Daniele; Pugliese, R. | |
| On the expressive power of the KLAIM based calculi | 2006 | De Nicola, R; Gorla, Daniele; Pugliese, R. | |
| Preface (Proc. of Workshop on Security Is- sues in Concurrency - SecCo’07) | 2007 | Gorla, Daniele; Palamidessi, Catuscia | |
| Basic observables for a calculus for global computing | 2007 | Rocco De, Nicola; Gorla, Daniele; Rosario, Pugliese | |
| SecCo'07: Security Issues in Concurrency | 2007 | Gorla, Daniele; C., Palamidessi | |
| EXPRESS'07: Expressiveness in Concurrency | 2007 | R., Amadio; T., Hildebrandt; Gorla, Daniele | |
| Synchrony vs Asynchrony in Communication Primitives | 2007 | Gorla, Daniele | |
| Introduzione alla logica e al linguaggio matematico | 2008 | BAGNI G., T; Gorla, Daniele; Labella, Anna | |
| Towards a Unified Approach to Encodability and Separation Results for Process Calculi | 2008 | Gorla, Daniele | |
| PPS | 2008 | Gorla, Daniele | |
| PLID'08: Programming Language Interference and Dependence | 2008 | Samir, Genaim; Gorla, Daniele | |
| Daniele Varacca | 2008 | Daniele, Varacca; Gorla, Daniele | |
| From Flow Logic to Static Type Systems in Coordination Languages | 2008 | ROCCO DE, Nicola; Gorla, Daniele; RENÈ RYDHOF, Hansen; Flemming, Nielson; HANNE RIIS, Nielson; CHRISTIAN W., Probst; Rosario, Pugliese | |
| EXPRESS'08: Expressiveness in Concurrency | 2008 | Gorla, Daniele; T., Hildebrandt | |
| Network Applications of Graph Bisimulation | 2008 | Cenciarelli, Pietro; Gorla, Daniele; E., Tuosto | |
| Comparing communication primitives via their relative expressive power | 2008 | Gorla, Daniele | |
| David Clark | 2009 | David, Clark; Gorla, Daniele | |
| Depletable Channels: Dynamics and Behaviour | 2009 | Cenciarelli, Pietro; Gorla, Daniele; Salvo, Ivano | |
| EXPRESS'09: Expressiveness in Concurrency | 2009 | S., Froeschle; Gorla, Daniele | |
| Introduzione alla logica e al linguaggio matematico | 2009 | G. T., Bagni; Gorla, Daniele; Labella, Anna |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile