IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 222
Titolo Data di pubblicazione Autore(i) File
A modal logic for mobile agents 1-gen-2004 DE NICOLA, R; Loreti, M.
Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705 Springer 2005 1-gen-2005 DE NICOLA, R; D., Sangiorgi
Pattern Matching over a Dynamic Network of Tuple Spaces 1-gen-2005 DE NICOLA, R; D., Gorla; R., Pugliese
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 1-gen-2005 Lorenzo, Bettini; DE NICOLA, R; Daniele, Falassi; Marc, Lacoste; Michele, Loreti
MoMo: A Modal Logic for Reasoning About Mobility 1-gen-2005 DE NICOLA, R; Michele, Loreti
Global Computing in a Dynamic Network of Tuple Spaces 1-gen-2005 DE NICOLA, R; D., Gorla; R., Pugliese
A Process Calculus for QoS-Aware Applications 1-gen-2005 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
Types in concurrency - Editorial of the Special Issue 1-gen-2005 DE NICOLA, R; Sangiorgi, D.
Semantic Subtyping for the pi-Calculus 1-gen-2005 G., Castagna; DE NICOLA, R; D., Varacca
Basic Observables for a Calculus for Global Computing 1-gen-2005 DE NICOLA, R; D., Gorla; R., Pugliese
On the Expressive Power of Klaim-based Calculi 1-gen-2005 DE NICOLA, R.; Gorla, D.; R, Pugliese
Confining data and processes in global computing applications 1-gen-2006 DE NICOLA, R.; Gorla, D.; R, Pugliese
SCC: a Service Centered Calculus 1-gen-2006 M, Boreale; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi
Implementing Mobile and Distributed Applications in X-Klaim 1-gen-2006 L., Bettini; DE NICOLA, R; M., Loreti
On the Expressive Power of Klaim-based Calculi 1-gen-2006 DE NICOLA, R; D., Gorla; R., Pugliese
Towards a Logic for Performance and Mobility 1-gen-2006 DE NICOLA, R; J. -P., Katoen; D., Latella; M., Massink
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Lecture Notes in Computer Science 4421 1-gen-2007 DE NICOLA, R
Session Centered Calculi for Service Oriented Computing 1-gen-2007 DE NICOLA, R
Basic Observables for Probabilistic May Testing 1-gen-2007 M. C., Palmeri; DE NICOLA, R; M., Massink:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 1-gen-2007 DE NICOLA, R; M., Loreti
Mostrati risultati da 81 a 100 di 222
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