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