Eva Graversen
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 |
|---|---|---|
| Alice or Bob?: Process polymorphism in choreographies Journal of Functional Programming | 2024-04-18 | Paper |
| Functional choreographic programming Lecture Notes in Computer Science | 2023-07-28 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus Journal of Logical and Algebraic Methods in Programming | 2021-11-24 | Paper |
| Event structure semantics of (controlled) reversible CCS Journal of Logical and Algebraic Methods in Programming | 2021-08-03 | Paper |
| Event structures for the reversible early internal \(\pi\)-calculus Reversible Computation | 2021-07-05 | Paper |
| Towards a categorical representation of reversible event structures Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Event structure semantics of (controlled) reversible CCS Reversible Computation | 2018-10-17 | Paper |
Research outcomes over time
This page was built for person: Eva Graversen
