DE NICOLA, ROCCO

DE NICOLA, ROCCO  

Mostra records
Risultati 1 - 20 di 56 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
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