Ornela Dardha
From MaRDI portal
Person:518893
Available identifiers
zbMath Open dardha.ornelaMaRDI QIDQ518893
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 | 2024-01-16 | Paper |
| MAG\(\pi\): types for failure-prone communication | 2023-11-24 | Paper |
| Separating sessions smoothly | 2023-08-26 | Paper |
| Separating sessions smoothly | 2023-08-21 | Paper |
| \( \pi\) with leftovers: a mechanisation in Agda | 2022-03-21 | Paper |
| Prioritise the best variation | 2022-03-21 | Paper |
| Comparing deadlock-free session typed processes | 2021-12-03 | Paper |
| Comparing type systems for deadlock freedom | 2021-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967196 | 2019-07-03 | Paper |
| A new linear logic for deadlock-free session-typed processes | 2018-07-17 | Paper |
| Session types revisited | 2017-09-28 | Paper |
| Type systems for distributed programs: components and sessions | 2017-03-30 | Paper |
| On duality relations for session types | 2016-06-09 | Paper |
Research outcomes over time
This page was built for person: Ornela Dardha
