DE NICOLA, ROCCO

DE NICOLA, ROCCO  

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

Risultati 1 - 20 di 208 (tempo di esecuzione: 0.008 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 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 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; Loreti, M; 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 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.
A Partial Ordering Semantics for CCS 1-gen-1990 P., Degano; DE NICOLA, R; U., Montanari
A Process Algebra based on Linda 1-gen-1996 DE NICOLA, R; R., Pugliese
A Process Algebraic View of Input/Output Automata 1-gen-1995 DE NICOLA, R; R., Segala
A Process Calculus for QoS-Aware Applications 1-gen-2005 DE NICOLA, R; G. -L., Ferrari; U., Montanari; R., Pugliese; E., Tuosto
A Symbolic Semantics for the pi-Calculus 1-gen-1996 DE NICOLA, R; M., Boreale
A Symbolic Semantics for the pi-calculus 1-gen-1994 M, Boreale; DE NICOLA, R.