Sfoglia per Autore
Testing Equivalences for Processes
1984 R. DE NICOLA; M. HENNESSY
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
1985 R. DE NICOLA
Extensional Equivalences for Transition Systems
1987 R. DE NICOLA
A Distributed Operational Semantics for CCS Based on Condition/Event Systems
1988 DEGANO P.; R. DE NICOLA; MONTANARI U.
A Partial Ordering Semantics for CCS
1990 P. DEGANO; R. DE NICOLA; U. MONTANARI
Universal Axioms for Bisimulations.
1993 P. DEGANO; R. DE NICOLA; U. MONTANARI
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
1993 R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G.
Three Logics for Branching Bisimulation
1995 R. DE NICOLA; VAANDRAGER F.W.
A Process Algebraic View of Input/Output Automata
1995 R. DE NICOLA; R. SEGALA
Testing Equivalence for Mobile Processes
1995 R. DE NICOLA; M. BOREALE
Concurrency: Theory and Practice.
1996 R. DE NICOLA; SMOLKA S.A.
A Symbolic Semantics for the pi-Calculus
1996 R. DE NICOLA; M. BOREALE
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS
1996 R. DE NICOLA; F. CORRADINI
Locality Based Semantics for Process Algebras
1997 R. DE NICOLA; F. CORRADINI
TREE MORPHISMS AND BISIMULATIONS
1998 R. DE NICOLA; A. LABELLA
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS
1999 R. DE NICOLA
Models of Nondeterministic Regular Expressions
1999 F. CORRADINI; R. DE NICOLA; A. LABELLA
A finite axiomatization of nondeterministic regular expressions
1999 R. DE NICOLA; F. CORRADINI; A. LABELLA
Graded Modalities and Resource Bisimulation
1999 R. De Nicola; A. Labella; F. Corradini
Methods and apparatus for tuple management in data processing system
2000 ROWSTRON; A.; R. DE NICOLA;
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile