Dimitris Mostrous
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 |
|---|---|---|
| Linearly refined session types | 2021-04-27 | Paper |
| Linearly refined session types (available as arXiv preprint) | 2021-04-27 | Paper |
| Affine sessions (available as arXiv preprint) | 2018-11-30 | Paper |
| Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus Information and Computation | 2015-05-04 | Paper |
| Session-Based Communication Optimisation for Higher-Order Mobile Processes Lecture Notes in Computer Science | 2009-07-07 | Paper |
| Objects and session types Information and Computation | 2009-06-08 | Paper |
| Global Principal Typing in Partially Commutative Asynchronous Sessions Programming Languages and Systems | 2009-03-31 | Paper |
| Two Session Typing Systems for Higher-Order Mobile Processes Lecture Notes in Computer Science | 2009-03-10 | Paper |
Research outcomes over time
This page was built for person: Dimitris Mostrous
