Antonio Cau

From MaRDI portal
Person:716295

Available identifiers

zbMath Open cau.antonioMaRDI QIDQ716295

List of research outcomes





PublicationDate of PublicationType
Reversibility of Executable Interval Temporal Logic Specifications2021-11-03Paper
Verification and enforcement of access control policies2014-06-30Paper
The calculus of context-aware ambients2011-04-28Paper
Composing and refining dense temporal logic specifications2000-11-14Paper
https://portal.mardi4nfdi.de/entity/Q43388661997-05-30Paper
Parallel composition of assumption-commitment specifications: A unifying approach for shared variable and distributed message passing concurrency1995-11-16Paper

Research outcomes over time

This page was built for person: Antonio Cau

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