Gioia Ristori

Available identifiers

zbMath Open ristori.gioiaMaRDI QIDQ1182129

List of research outcomes

Publication	Date of Publication	Type
An action based framework for verifying logical and behavioural properties of concurrent systems	2024-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4952318	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4381717	1998-08-19	Paper
Assisting requirement formalization by means of natural language translation	1994-06-29	Paper
Model checking for action-based logics	1994-06-19	Paper
An action-based framework for veryfying logical and behavioural properties of concurrent systems	1993-06-29	Paper
Compositionality and bisimulation: A negative result	1992-06-27	Paper

Research outcomes over time

This page was built for person: Gioia Ristori