Search CORE

1,720,988 research outputs found

Mechanising a Modal Logic for Value-Passing Agents in HOL

Author: NESI MONICA
Publication venue
Publication date: 01/01/1997
Field of study

IRIS Università degli Studi dell'Aquila

Formalising a Value-Passing Calculus in HOL

Author: NESI MONICA
Publication venue
Publication date: 01/01/1999
Field of study

IRIS Università degli Studi dell'Aquila

Value-Passing CCS in HOL

Author: NESI MONICA
Publication venue
Publication date: 01/01/1994
Field of study

IRIS Università degli Studi dell'Aquila

Formalising Process Calculi in Higher Order Logic, Ph.D. Thesis

Author: NESI MONICA
Publication venue
Publication date: 01/01/1997
Field of study

IRIS Università degli Studi dell'Aquila

Specification and Analysis of Security Protocols by Rewriting

Author: NESI MONICA
Publication venue
Publication date: 01/01/2006
Field of study

IRIS Università degli Studi dell'Aquila

Mechanizing a Proof by Induction of Process Algebra Specifications in Higher Order Logic

Author: NESI MONICA
Publication venue
Publication date: 01/01/1992
Field of study

IRIS Università degli Studi dell'Aquila

Reasoning about Value-Passing Calculi in HOL

Author: NESI MONICA
Publication venue
Publication date: 01/01/1996
Field of study

IRIS Università degli Studi dell'Aquila

Infinite Normal Forms for Non-linear Term Rewriting Systems

Author: INVERARDI PAOLA
NESI MONICA
Publication venue
Publication date: 01/01/1995
Field of study

IRIS Università degli Studi dell'Aquila

Proceedings of SecReT'07 - Workshop on Security and Rewriting Techniques, Paris, June 2007

Author: TREINEN R.
NESI MONICA
Publication venue
Publication date: 01/01/2007
Field of study

IRIS Università degli Studi dell'Aquila

Formalization and Verification of Security Protocols by Rewriting

Author: NESI MONICA
NOCERA G.
Publication venue
Publication date: 01/01/2005
Field of study

IRIS Università degli Studi dell'Aquila

…

core