Marco Peressotti

Marco Peressotti

University of Southern Denmark - Tianjin / Denmark
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4477586
Syddansk Universitet
person_outline Marco Peressotti's MOST POPULAR ARTICLES
1-) Better late than never: a fully-abstract semantics for classical processesW Kokke, F Montesi, M PeressottiProceedings of the ACM on Programming Languages 3 (POPL), 1-29, 201934*2019
2-) Choral: Object-oriented choreographic programmingS Giallorenzo, F Montesi, M PeressottiACM Tranactions on Programming Languages and Systems 46 (1), 1--59, 202441*2024
3-) Multi-agent systems design and prototyping with bigraphical reactive systemsA Mansutti, M Miculan, M PeressottiDistributed Applications and Interoperable Systems: 14th IFIP WG 6.1 …, 2014412014
4-) Formalising a turing-complete choreographic language in CoqL Cruz-Filipe, F Montesi, M Peressotti12th International Conference on Interactive Theorem Proving (ITP 2021) 193 …, 2021402021
5-) Behavioural equivalences for coalgebras with unobservable movesT Brengos, M Miculan, M PeressottiJournal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015332015