Alceste Scalas
From MaRDI portal
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 |
|---|---|---|
| On asynchronous multiparty session types for federated learning | 2026-03-20 | Paper |
| Generalised multiparty session types with crash-stop failures | 2024-08-13 | Paper |
| Precise Subtyping for Asynchronous Multiparty Sessions ACM Transactions on Computational Logic | 2023-04-05 | Paper |
| A formal model of Algorand smart contracts (available as arXiv preprint) | 2022-06-17 | Paper |
| Choreography synthesis as contract agreement | 2021-06-17 | Paper |
| Choreography synthesis as contract agreement (available as arXiv preprint) | 2021-06-17 | Paper |
| The LTS workbench | 2020-02-14 | Paper |
| The LTS workbench (available as arXiv preprint) | 2020-02-14 | Paper |
| Precise subtyping for synchronous multiparty sessions Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Multiparty session types, beyond duality Journal of Logical and Algebraic Methods in Programming | 2018-06-27 | Paper |
| On the preciseness of subtyping in session types (available as arXiv preprint) | 2017-07-13 | Paper |
| Honesty by typing Logical Methods in Computer Science | 2017-04-11 | Paper |
| Verifiable abstractions for contract-oriented systems Journal of Logical and Algebraic Methods in Programming | 2016-11-30 | Paper |
| Modelling and verifying contract-oriented systems in Maude Rewriting Logic and Its Applications | 2015-09-09 | Paper |
| A semantic deconstruction of session types CONCUR 2014 – Concurrency Theory | 2014-09-15 | Paper |
Research outcomes over time
This page was built for person: Alceste Scalas
