Sfoglia per Autore
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes
2010-01-01 Marco, Bernardo; DE NICOLA, R; Michele, Loreti
Behavioral Equivalences
2011-01-01 De Nicola, R
Process Algebras
2011-01-01 De Nicola, R
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011-01-01 Acciai, L; Boreale, M; De Nicola, R
Orchestrating Tuple-Based Languages
2011-01-01 De Nicola, R; Margheri, A; Tiezzi, F
Core Calculi for Service-Oriented Computing
2011-01-01 Caires, L; De Nicola, R; Pugliese, R; Vasconcelos, V T; Zavattaro, G
SoSL: A Service-Oriented Stochastic Logic
2011-01-01 De Nicola, R; Latella, D; Loreti, M; Massink, M
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
2011-01-01 Bernardo, M; De Nicola, R; Loreti, M
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 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.
2013-01-01 De Nicola, R; Julien, C.
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
2013-01-01 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
2013-01-01 Bernardo, M; De Nicola, R; Loreti, M
Formalising Adaptation Patterns for Autonomic Ensembles
2013-01-01 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
Foreword
2013-01-01 De Nicola, R; Juiien, C
Network-Aware Evaluation Environment for Reputation Systems Authors
2013-01-01 Celestini, A; De Nicola, R; Tiezzi, F
A uniform definition of stochastic process calculi
2013-01-01 De Nicola, R; Latella, D; Loreti, M.; Massink, M
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
2013-01-01 Bernardo, M; De Nicola, R; Loreti, M
Specifying and analysing reputation systems with a coordination language
2013-01-01 Celestini, A; De Nicola, R; Tiezzi, F
A formal approach to autonomic systems programming: the SCEL language
2014-01-01 De Nicola, R
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
2014-01-01 De Nicola, R; Iacobelli, G; Tribastone, M
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