Ornela Dardha

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
Resource sharing via capability-based multiparty session types	2024-04-19	Paper
Prioritise the best variation Logical Methods in Computer Science	2024-01-16	Paper
MAG\(\pi\): types for failure-prone communication	2023-11-24	Paper
Separating sessions smoothly Logical Methods in Computer Science	2023-08-26	Paper
Separating sessions smoothly	2023-08-21	Paper
\( \pi\) with leftovers: a mechanisation in Agda (available as arXiv preprint)	2022-03-21	Paper
Prioritise the best variation Lecture Notes in Computer Science	2022-03-21	Paper
Comparing deadlock-free session typed processes	2021-12-03	Paper
Comparing deadlock-free session typed processes (available as arXiv preprint)	2021-12-03	Paper
Comparing type systems for deadlock freedom Journal of Logical and Algebraic Methods in Programming	2021-11-24	Paper
scientific article; zbMATH DE number 7075898 (Why is no real title available?)	2019-07-03	Paper
A new linear logic for deadlock-free session-typed processes	2018-07-17	Paper
Session types revisited Information and Computation	2017-09-28	Paper
Type systems for distributed programs: components and sessions Atlantis Studies in Computing	2017-03-30	Paper
On duality relations for session types Trustworthy Global Computing	2016-06-09	Paper

Research outcomes over time

This page was built for person: Ornela Dardha