DE NICOLA, ROCCO
DE NICOLA, ROCCO
6G Networks Physical Layer Security using RGB Visible Light Communications
2021 Soderi S.; De Nicola R.
A calculus for attribute-based communication
2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto
A Distributed Operational Semantics for CCS Based on Condition/Event Systems
1988 DEGANO P.; R. DE NICOLA; MONTANARI U.
A finite axiomatization of nondeterministic regular expressions
1999 R. DE NICOLA; F. CORRADINI; A. LABELLA
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing
2005 Lorenzo Bettini; Rocco De Nicola; Daniele Falassi; Marc Lacoste; Michele Loreti
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces
2002 R. De Nicola; L. Bettini
A Modal Logic for KLAIM
2000 R. De Nicola; M. Loreti
A MODAL LOGIC FOR MOBILE AGENTS
2004 M. LORETI; R. DE NICOLA
A Partial Ordering Semantics for CCS
1990 P. DEGANO; R. DE NICOLA; U. MONTANARI
A Process Algebraic View of Input/Output Automata
1995 R. DE NICOLA; R. SEGALA
A Symbolic Semantics for the pi-Calculus
1996 R. DE NICOLA; M. BOREALE
Action-based security rules for railway control systems
2026 De Nicola Rocco; Soderi Simone
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures
2001 XIAO JUN CHEN; R. DE NICOLA
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1993 R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G.
An equational axiomatization of bisimulation over regular expressions
2002 R. DE NICOLA; A. LABELLA; F. CORRADINI
Basic Observables for Probabilistic May Testing
2007 M.C. Palmeri; R. De Nicola; M. Massink:
CaSPiS: a calculus of sessions, pipelines and services
2015 Boreale, Michele; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele
Concurrency: Theory and Practice.
1996 R. DE NICOLA; SMOLKA S.A.
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN
2024 Soderi S.; De Nicola R.
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999 R. DE NICOLA