DE NICOLA, ROCCO
DE NICOLA, ROCCO
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
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.
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999 R. DE NICOLA
Extensional Equivalences for Transition Systems
1987 R. DE NICOLA
Graded Modalities and Resource Bisimulation
1999 R. De Nicola; A. Labella; F. Corradini
Implementing a Distributed Mobile Calculus Using the IMC Framework
2007 L. BETTINI; R. DE NICOLA; D. FALASSI; M. LORETI