Maurizio Murgia

From MaRDI portal
Person:347373

Available identifiers

zbMath Open murgia.maurizioMaRDI QIDQ347373

List of research outcomes





PublicationDate of PublicationType
Asynchronous timed session types. From duality to time-sensitive processes2023-11-24Paper
Sound approximate and asymptotic probabilistic bisimulations for PCTL2023-08-26Paper
https://portal.mardi4nfdi.de/entity/Q50284782022-02-09Paper
https://portal.mardi4nfdi.de/entity/Q50284302022-02-09Paper
Progress-preserving Refinements of CTA2021-08-04Paper
A fixed-points based framework for compliance of behavioural contracts2021-06-25Paper
Input urgent semantics for asynchronous timed session types2019-10-17Paper
https://portal.mardi4nfdi.de/entity/Q45968042017-12-11Paper
Verifiable abstractions for contract-oriented systems2016-11-30Paper
Compliance and Subtyping in Timed Session Types2016-10-19Paper
Modelling and Verifying Contract-Oriented Systems in Maude2015-09-09Paper

Research outcomes over time

This page was built for person: Maurizio Murgia

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