NESI, MONICA

NESI, MONICA  

Dipartimento di Ingegneria e scienze dell informazione e matematica  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
A Rewriting Strategy for Protocol Verification 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
A Rewriting Strategy for Protocol Verification (Extended Abstract) 1-gen-2003 Nesi, Monica; Rucci, G.; Verdesca, M.
Adding sorts to TRSs: a result on modularity of termination 1-gen-1999 Inverardi, Paola; Nesi, Monica
Combining Interaction and Automation in Process Algebra Verification 1-gen-1991 Camilleri, Aj; Inverardi, Paola; Nesi, Monica
Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences 1-gen-1992 Boreale, M; Inverardi, Paola; Nesi, Monica
Deciding Observational Congruence of Finite-State CCS Expressions by Rewriting 1-gen-1995 Inverardi, Paola; Nesi, Monica
A Declarative Framework for Adaptable Applications in Heterogeneous Environments 1-gen-2004 Inverardi, Paola; Mancinelli, F; Nesi, Monica
Deriving the Type Flaw Attacks in the Otway-Rees Protocol by Rewriting 1-gen-2006 Nesi, Monica; G., Nocera
Equational Reasoning about LOTOS Specifications: A Rewriting Approach 1-gen-1991 Nicola, De; Inverardi, Paola; Nesi, Monica
Formalising a Value-Passing Calculus in HOL 1-gen-1999 Nesi, Monica
Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis 1-gen-1997 Nesi, Monica
Formalization and Verification of Security Protocols by Rewriting 1-gen-2005 Nesi, Monica; Nocera, G.
Formalizing a Modal Logic for CCS in the HOL Theorem Prover 1-gen-1993 Nesi, Monica
Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting 1-gen-2005 Nesi, Monica; Rucci, G.
Infinite Normal Forms for Non-linear Term Rewriting Systems 1-gen-1991 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-linear Term Rewriting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
Infinite Normal Forms for Non-Linear Term Rewritting Systems 1-gen-1995 Inverardi, Paola; Nesi, Monica
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences 1-gen-1988 Gnesi, S; Inverardi, Paola; Nesi, Monica
Mechanising a Modal Logic for Value-Passing Agents in HOL 1-gen-1997 Nesi, Monica
Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic 1-gen-1992 Nesi, Monica