| Choral: Object-oriented choreographic programming S Giallorenzo, F Montesi, M Peressotti ACM Tranactions on Programming Languages and Systems 46 (1), 1--59, 2024 | 64* | 2024 |
| Better late than never: a fully-abstract semantics for classical processes W Kokke, F Montesi, M Peressotti Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019 | 63* | 2019 |
| Formalising a turing-complete choreographic language in Coq L Cruz-Filipe, F Montesi, M Peressotti 12th International Conference on Interactive Theorem Proving (ITP 2021) 193 …, 2021 | 44 | 2021 |
| Multi-agent systems design and prototyping with bigraphical reactive systems A Mansutti, M Miculan, M Peressotti Ifip international conference on distributed applications and interoperable …, 2014 | 42 | 2014 |
| Multiparty languages: The choreographic and multitier cases S Giallorenzo, F Montesi, M Peressotti, D Richter, G Salvaneschi, ... ECOOP 2021-European Conference on Object-Oriented Programming, 2021 | 40 | 2021 |
| No More, No Less - A formal model for serverless computing M Gabbrielli, S Giallorenzo, I Lanese, F Montesi, M Peressotti, SP Zingaro International Conference on Coordination Languages and Models, 148-157, 2019 | 34 | 2019 |
| Behavioural equivalences for coalgebras with unobservable moves T Brengos, M Miculan, M Peressotti Journal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015 | 33 | 2015 |
| Certifying choreography compilation L Cruz-Filipe, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 115-133, 2021 | 32 | 2021 |
| Structural operational semantics for non-deterministic processes with quantitative aspects M Miculan, M Peressotti Theoretical Computer Science 655, 135--154, 2016 | 27 | 2016 |
| Functional choreographic programming L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti International Colloquium on Theoretical Aspects of Computing, 212-237, 2022 | 25 | 2022 |
| A formal theory of choreographic programming L Cruz-Filipe, F Montesi, M Peressotti Journal of Automated Reasoning 67 (2), 21, 2023 | 24 | 2023 |
| GSOS for non-deterministic processes with quantitative aspects M Miculan, M Peressotti Quantitative Aspects of Programming Languages and Systems 154, 17--33, 2014 | 23 | 2014 |
| Towards a Formal Model for Composable Container Systems F Burco, M Miculan, M Peressotti Proceedings of the 35rd Annual ACM Symposium on Applied Computing, SAC 2020 …, 2020 | 22 | 2020 |
| A uniform framework for timed automata T Brengos, M Peressotti 27th International Conference on Concurrency Theory (CONCUR 2016) 59, 26:1 …, 2016 | 19 | 2016 |
| Weak bisimulations for labelled transition systems weighted over semirings M Miculan, M Peressotti arXiv preprint arXiv:1310.4106, 2013 | 19 | 2013 |
| A CSP implementation of the bigraph embedding problem M Miculan, M Peressotti First International Workshop on Meta Models for Process Languages, At Berlin, 2014 | 17 | 2014 |
| Modular compilation for higher-order functional choreographies L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti 37th European Conference on Object-Oriented Programming, ECOOP 2023, 7, 2023 | 15 | 2023 |
| Distributed execution of bigraphical reactive systems A Mansutti, M Miculan, M Peressotti Electronic Communications of the EASST 71 (Graph Computation Models 2014), 2015 | 15 | 2015 |
| Jolie and LEMMA: model-driven engineering and programming languages meet on microservices S Giallorenzo, F Montesi, M Peressotti, F Rademacher, S Sachweh International Conference on Coordination Languages and Models, 276-284, 2021 | 14 | 2021 |
| Taking Linear Logic Apart W Kokke, F Montesi, M Peressotti Linearity & Trends in Linear Logic and Applications 292, 90-103, 2019 | 14 | 2019 |
Fabrizio MontesiProfessor of Computer Science, University of Southern DenmarkVerified email at imada.sdu.dk
