Maurizio Murgia

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
Asynchronous timed session types. From duality to time-sensitive processes Programming Languages and Systems	2023-11-24	Paper
Sound approximate and asymptotic probabilistic bisimulations for PCTL Logical Methods in Computer Science	2023-08-26	Paper
scientific article; zbMATH DE number 7471711 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471711 (Why is no real title available?)	2022-02-09	Paper
scientific article; zbMATH DE number 7471670 (Why is no real title available?) (available as arXiv preprint)	2022-02-09	Paper
scientific article; zbMATH DE number 7471670 (Why is no real title available?)	2022-02-09	Paper
Progress-preserving refinements of CTA	2021-08-04	Paper
A fixed-points based framework for compliance of behavioural contracts Journal of Logical and Algebraic Methods in Programming	2021-06-25	Paper
Input urgent semantics for asynchronous timed session types Journal of Logical and Algebraic Methods in Programming	2019-10-17	Paper
scientific article; zbMATH DE number 6816946 (Why is no real title available?) (available as arXiv preprint)	2017-12-11	Paper
Verifiable abstractions for contract-oriented systems Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
Compliance and subtyping in timed session types Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
Modelling and verifying contract-oriented systems in Maude Rewriting Logic and Its Applications	2015-09-09	Paper

Research outcomes over time

This page was built for person: Maurizio Murgia