IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 101 a 120 di 224
Titolo Data di pubblicazione Autore(i) File
Basic Observables for a Calculus for Global Computing 1-gen-2007 DE NICOLA, R; D., Gorla; R., Pugliese
Basic Observables for Probabilistic May Testing 1-gen-2007 M. C., Palmeri; DE NICOLA, R; M., Massink:
SENSORIA Process Calculi for Service-Oriented Computing 1-gen-2007 Wirsing, M; De Nicola, R; Gilmore, S; Hölz, M; Lucchi, R; Tribastone, M; Zavattaro, G
Model checking mobile stochastic logic 1-gen-2007 DE NICOLA, R; Katoen, J. -P.; Latella, D.; Loreti, M; Massink, M.
Implementing a Distributed Mobile Calculus Using the IMC Framework 1-gen-2007 L., Bettini; DE NICOLA, R; D., Falassi; M., Loreti
Implementing Session Centered Calculi 1-gen-2008 Lorenzo, Bettini; DE NICOLA, R; Michele, Loreti
Semantic subtyping for the pi-calculus 1-gen-2008 G., Castagna; DE NICOLA, R; D., Varacca
TAPAs: A Tool for the Analysis of Process Algebras 1-gen-2008 Calzolai, F; DE NICOLA, R; Loreti, M; Tiezzi, F
Modelling global computations with Klaim 1-gen-2008 De Nicola, R; Loreti, M
From Flow Logic to Static Type Systems for Coordination Languages 1-gen-2008 DE NICOLA, R; D., Gorla; R. R., Hansen; F., Nielson; H. R., Nielson; C. W., Probst; R., Pugliese
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 1-gen-2008 P., Degano; DE NICOLA, R; J., Meseguer
Multiple-Labelled Transition Systems for nominal calculi and their logics 1-gen-2008 DE NICOLA, R; Loreti, M
Sessions and Pipelines for Structured Service Programming 1-gen-2008 M, Boreale; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
Ugo Montanari in a Nutshell 1-gen-2008 DE NICOLA, R; P., Degano; J., Meseguer
MarCaSPiS: a Markovian Extension of a Calculus for Services 1-gen-2009 DE NICOLA, R.; Latella, D.; Loreti, M.; M, Massink
Provably Correct Implementations of Services 1-gen-2009 R., Bruni; DE NICOLA, R; M., Loreti; L., Mezzina
On a Uniform Framework for the Definition of Stochastic Process Languages 1-gen-2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink:
Rate-Based Transition Systems for Stochastic Process Calculi 1-gen-2009 DE NICOLA, R; D., Latella; M., Loreti; M., Massink
From Flow Logic to static type systems for coordination languages 1-gen-2010 DE NICOLA, R.; Gorla, D.; Hansen, R. R.; Nielson, F.; RIIS NIELSON, H.; Probst, CHRISTIAN W.; R, Pugliese
Tree-functors, determinacy and bisimulations 1-gen-2010 DE NICOLA, R; Daniele, Gorla; Anna, Labella
Mostrati risultati da 101 a 120 di 224
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