Sfoglia per Autore  

Opzioni
Mostrati risultati da 121 a 140 di 224
Titolo Data di pubblicazione Autore(i) File
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 1-gen-2010 Marco, Bernardo; DE NICOLA, R; Michele, Loreti
Behavioral Equivalences 1-gen-2011 De Nicola, R
Process Algebras 1-gen-2011 De Nicola, R
Linear-Time and May-Testing in a Probabilistic Reactive Setting 1-gen-2011 Acciai, L; Boreale, M; De Nicola, R
Orchestrating Tuple-Based Languages 1-gen-2011 De Nicola, R; Margheri, A; Tiezzi, F
Core Calculi for Service-Oriented Computing 1-gen-2011 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
SoSL: A Service-Oriented Stochastic Logic 1-gen-2011 De Nicola, R; Latella, D; Loreti, M; Massink, M
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 1-gen-2011 Bernardo, M; De Nicola, R; Loreti, M
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2012 Bernardo, M; De Nicola, R; Loreti, M
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. 1-gen-2013 De Nicola, R; Julien, C.
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. 1-gen-2013 Bures, T; De Nicola, R; Gerostathopoulos, I; Hoch, N; Kit, M; Koch, N; Monreale, G V; Montanari, U; Pugliese, R; Serbedzija, N; Wirsing, M; Zambonelli, F
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 1-gen-2013 Bernardo, M; De Nicola, R; Loreti, M
Formalising Adaptation Patterns for Autonomic Ensembles 1-gen-2013 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Foreword 1-gen-2013 De Nicola, R; Juiien, C
Network-Aware Evaluation Environment for Reputation Systems Authors 1-gen-2013 Celestini, A; De Nicola, R; Tiezzi, F
A uniform definition of stochastic process calculi 1-gen-2013 De Nicola, R; Latella, D; Loreti, M.; Massink, M
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 1-gen-2013 Bernardo, M; De Nicola, R; Loreti, M
Specifying and analysing reputation systems with a coordination language 1-gen-2013 Celestini, A; De Nicola, R; Tiezzi, F
A formal approach to autonomic systems programming: the SCEL language 1-gen-2014 De Nicola, R
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 1-gen-2014 De Nicola, R; Iacobelli, G; Tribastone, M
Mostrati risultati da 121 a 140 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