Sfoglia per Rivista
On the Expressive Power of Klaim-based Calculi
2005-01-01 DE NICOLA, R.; Gorla, D.; R, Pugliese
Towards a Logic for Performance and Mobility
2006-01-01 DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink
Tree Morphisms and Bisimulations
1998-01-01 DE NICOLA, Rocco; Labella, A
XKlaim and Klava: Programming Mobile Code
2001-01-01 Bettini, L.; DE NICOLA, R.; R, Pugliese
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
On the Expressive Power of Klaim-based Calculi | 1-gen-2005 | DE NICOLA, R.; Gorla, D.; R, Pugliese | |
Towards a Logic for Performance and Mobility | 1-gen-2006 | DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink | |
Tree Morphisms and Bisimulations | 1-gen-1998 | DE NICOLA, Rocco; Labella, A | |
XKlaim and Klava: Programming Mobile Code | 1-gen-2001 | Bettini, L.; DE NICOLA, R.; R, Pugliese |
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