Marco Peressotti
From MaRDI portal
Person:507376
Available identifiers
zbMath Open peressotti.marcoMaRDI QIDQ507376
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 |
|---|---|---|
| Functional choreographic programming | 2023-07-28 | Paper |
| A formal theory of choreographic programming | 2023-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6099602 | 2023-06-20 | Paper |
| Computing Embeddings of Directed Bigraphs | 2022-09-01 | Paper |
| Certifying choreography compilation | 2022-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5018488 | 2021-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3121518 | 2019-03-18 | Paper |
| A uniform framework for timed automata | 2018-03-21 | Paper |
| Structural operational semantics for non-deterministic processes with quantitative aspects | 2017-02-06 | Paper |
| Behavioural equivalences for coalgebras with unobservable moves | 2015-11-10 | Paper |
Research outcomes over time
This page was built for person: Marco Peressotti