Follow
Marco Peressotti
Title
Cited by
Cited by
Year
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
50*2019
Choral: Object-oriented choreographic programming
S Giallorenzo, F Montesi, M Peressotti
ACM Tranactions on Programming Languages and Systems 46 (1), 1--59, 2024
46*2024
Multi-agent systems design and prototyping with bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Distributed Applications and Interoperable Systems: 14th IFIP WG 6.1 …, 2014
422014
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
392021
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
332015
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
312021
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
282019
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135--154, 2016
282016
Certifying choreography compilation
L Cruz-Filipe, F Montesi, M Peressotti
International Colloquium on Theoretical Aspects of Computing, 115-133, 2021
272021
GSOS for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Quantitative Aspects of Programming Languages and Systems 154, 17--33, 2014
232014
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
192020
Weak bisimulations for labelled transition systems weighted over semirings
M Miculan, M Peressotti
arXiv preprint arXiv:1310.4106, 2013
192013
A uniform framework for timed automata
T Brengos, M Peressotti
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 26:1 …, 2016
182016
A CSP implementation of the bigraph embedding problem
M Miculan, M Peressotti
First International Workshop on Meta Models for Process Languages, At Berlin, 2014
162014
Distributed execution of bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Electronic Communications of the EASST 71 (Graph Computation Models 2014), 2015
152015
A formal theory of choreographic programming
L Cruz-Filipe, F Montesi, M Peressotti
Journal of Automated Reasoning 67 (2), 21, 2023
142023
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
142021
Bigraphs reloaded: a presheaf presentation
M Miculan, M Peressotti
University of Udine, 2013
13*2013
Functional choreographic programming
L Cruz-Filipe, E Graversen, L Lugović, F Montesi, M Peressotti
International Colloquium on Theoretical Aspects of Computing, 212-237, 2022
122022
Towards distributed bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
GCM 2014, 45, 2014
122014
The system can't perform the operation now. Try again later.
Articles 1–20