Diletta Cacciagrano

From MaRDI portal
Person:2465028

Available identifiers

zbMath Open cacciagrano.diletta-romanaMaRDI QIDQ2465028

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q46211392019-02-08Paper
Bone remodelling in \textsc{BioShape}2014-03-21Paper
Fair \(\pi\)2013-12-13Paper
Linearity, persistence and testing semantics in the asynchronous pi-calculus2013-12-06Paper
Separation of synchronous and asynchronous communication via testing2013-10-07Paper
Bone remodelling: a complex automata-based model running in BioShape2010-10-04Paper
Explicit fairness in testing semantics2009-06-30Paper
Separation of synchronous and asynchronous communication via testing2007-12-19Paper
Formal Methods for the Design of Real-Time Systems2006-10-19Paper
https://portal.mardi4nfdi.de/entity/Q44483692004-02-18Paper

Research outcomes over time

This page was built for person: Diletta Cacciagrano

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2465028&oldid=7033763"
Powered by MediaWiki