Monica Nesi

Available identifiers

zbMath Open nesi.monicaMaRDI QIDQ672234

List of research outcomes

Publication	Date of Publication	Type
Mechanizing a proof by induction of process algebra specifications in higher order logic	2024-04-29	Paper
A strategy to deal with divergent rewrite systems	2023-03-09	Paper
Formalizing and analyzing the Needham-Schroeder symmetric-key protocol by rewriting	2013-09-26	Paper
A rewriting strategy for protocol verification	2013-08-27	Paper
On structural properties of eta-expansions of identity	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3431408	2007-04-10	Paper
Formalising a value-passing calculus in H0L	2000-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4222877	1998-12-20	Paper
Deciding observational congruence of finite-state CCS expressions by rewriting	1997-02-28	Paper
Infinite normal forms for non-linear term rewriting systems	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4035244	1993-05-18	Paper
Complete sets of axioms for finite basic LOTOS behavioural equivalences	1993-01-16	Paper
A rewriting strategy to verify observational congruence	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3814799	1988-01-01	Paper

Research outcomes over time

This page was built for person: Monica Nesi