DE NICOLA, ROCCO

DE NICOLA, ROCCO  

I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi  

Mostra records
Risultati 1 - 20 di 224 (tempo di esecuzione: 0.054 secondi).
Titolo Data di pubblicazione Autore(i) File
6G Networks Physical Layer Security using RGB Visible Light Communications 1-gen-2021 Soderi, S.; De Nicola, R.
A calculus for attribute-based communication 1-gen-2015 Alrahman, Y. A.; De Nicola, R; Loreti, M.; Tiezzi, F.; Vigo, R
A calculus for collective-adaptive systems and its behavioural theory 1-gen-2019 Abd Alrahman, Y.; De Nicola, R.; Loreti, M.
A Complete Set of Axioms for a Theory of Communicating Sequential Processes 1-gen-1983 De Nicola, R
A Completeness Theorem for Nondeterministic Kleene Algebras. 1-gen-1994 De Nicola, R; Labella, A
A distributed coordination infrastructure for attribute-based interaction 1-gen-2018 Alrahman, Yehia Abd; De Nicola, Rocco; Garbi, Giulio; Loreti, Michele
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 1-gen-1988 Degano, P.; DE NICOLA, R; Montanari, U.
A finite axiomatization of nondeterministic regular expressions 1-gen-1999 DE NICOLA, R; F., Corradini; A., Labella
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
A formal approach to autonomic systems programming: the SCEL language 1-gen-2014 De Nicola, R
A Formal Approach to Autonomic Systems Programming: The SCEL Language 1-gen-2014 De Nicola, R; Loreti, M; Pugliese, R; Tiezzi, F
A formal approach to the engineering of domain-specific distributed systems 1-gen-2018 De Nicola, Rocco; Ferrari, Gianluigi; Pugliese, Rosario; Tiezzi, Francesco
A formal approach to the engineering of domain-specific distributed systems 1-gen-2020 De Nicola, R.; Ferrari, G.; Pugliese, R.; Tiezzi, F.
A Formal Basis for Reasoning on Programmable QoS 1-gen-2003 DE NICOLA, R; R., Pugliese; G., Ferrari; U., Montanari; E., Tuosto
A Homage to Martin Wirsing. Software, Services, and Systems 1-gen-2015 De Nicola, R; Hennicker, R
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 1-gen-2002 DE NICOLA, R; L., Bettini
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
A logic-inspired approach to reconfigurable system modelling 1-gen-2019 Maggi, A.; De Nicola, R.; Sifakis, J.
A modal logic for KLAIM 1-gen-2000 DE NICOLA, R; M., Loreti
A modal logic for mobile agents 1-gen-2004 DE NICOLA, R; Loreti, M.