Diletta Cacciagrano

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7020139 (Why is no real title available?)	2019-02-08	Paper
Bone remodelling in \textsc{BioShape} Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Fair \(\pi\) Electronic Notes in Theoretical Computer Science	2013-12-13	Paper
Linearity, persistence and testing semantics in the asynchronous pi-calculus Electronic Notes in Theoretical Computer Science	2013-12-06	Paper
Separation of synchronous and asynchronous communication via testing	2013-10-07	Paper
Bone remodelling: a complex automata-based model running in BioShape Lecture Notes in Computer Science	2010-10-04	Paper
Explicit fairness in testing semantics Logical Methods in Computer Science	2009-06-30	Paper
Separation of synchronous and asynchronous communication via testing Theoretical Computer Science	2007-12-19	Paper
Formal Methods for the Design of Real-Time Systems Lecture Notes in Computer Science	2006-10-19	Paper
scientific article; zbMATH DE number 2044505 (Why is no real title available?)	2004-02-18	Paper

Research outcomes over time

This page was built for person: Diletta Cacciagrano