Sfoglia per Autore
From Flow Logic to static type systems for coordination languages
2010-01-01 DE NICOLA, R.; Gorla, D.; Hansen, R. R.; Nielson, F.; RIIS NIELSON, H.; Probst, CHRISTIAN W.; R, Pugliese
Linear-Time and May-Testing in a Probabilistic Reactive Setting
2011-01-01 Acciai, L; Boreale, M; De Nicola, R
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
Orchestrating Tuple-Based Languages
2011-01-01 De Nicola, R; Margheri, A; Tiezzi, F
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
2011-01-01 Bernardo, M; De Nicola, R; Loreti, M
Behavioral Equivalences
2011-01-01 De Nicola, R
Process Algebras
2011-01-01 De Nicola, R
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, M; De Nicola, R; Loreti, M
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
2013-01-01 Bernardo, M; De Nicola, R; Loreti, M
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
Formalising Adaptation Patterns for Autonomic Ensembles
2013-01-01 Cesari, L; De Nicola, R; Pugliese, R; Puviani, M; Tiezzi, F; Zambonelli, F
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
Foreword
2013-01-01 De Nicola, R; Juiien, C
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.
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
2014-01-01 De Nicola, R; Iacobelli, G; Tribastone, M
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2014-01-01 Bernardo, M; De Nicola, R; Loreti, 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