Alceste Scalas

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
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	2022-06-17	Paper
Choreography synthesis as contract agreement	2021-06-17	Paper
The LTS workbench	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	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