Ornela Dardha
From MaRDI portal
Person:518893
Available identifiers
zbMath Open dardha.ornelaMaRDI QIDQ518893
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Prioritise the best variation | 2024-01-16 | Paper |
| Separating Sessions Smoothly | 2023-08-26 | Paper |
| Separating Sessions Smoothly | 2023-08-21 | Paper |
| Prioritise the best variation | 2022-03-21 | Paper |
| \( \pi\) with leftovers: a mechanisation in Agda | 2022-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5013868 | 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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Ornela Dardha
