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
43*2019
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
372014
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
342021
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
Choral: Object-oriented choreographic programming
S Giallorenzo, F Montesi, M Peressotti
ACM Tranactions on Programming Languages and Systems 46 (1), 1--59, 2024
32*2024
Structural operational semantics for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Theoretical Computer Science 655, 135--154, 2016
272016
Certifying choreography compilation
L Cruz-Filipe, F Montesi, M Peressotti
International Colloquium on Theoretical Aspects of Computing, 115-133, 2021
252021
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
252019
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
232021
GSOS for non-deterministic processes with quantitative aspects
M Miculan, M Peressotti
Quantitative Aspects of Programming Languages and Systems 154, 17--33, 2014
222014
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
172016
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
152020
Distributed execution of bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
Electronic Communications of the EASST 71 (Graph Computation Models 2014), 2015
132015
A CSP implementation of the bigraph embedding problem
M Miculan, M Peressotti
First International Workshop on Meta Models for Process Languages, At Berlin, 2014
132014
Towards distributed bigraphical reactive systems
A Mansutti, M Miculan, M Peressotti
GCM 2014, 45, 2014
122014
Bigraphs reloaded: a presheaf presentation
M Miculan, M Peressotti
University of Udine, 2013
11*2013
A formal theory of choreographic programming
L Cruz-Filipe, F Montesi, M Peressotti
Journal of Automated Reasoning 67 (2), 21, 2023
102023
Taking Linear Logic Apart
W Kokke, F Montesi, M Peressotti
Linearity & Trends in Linear Logic and Applications 292, 90-103, 2019
102019
Classical transitions
F Montesi, M Peressotti
arXiv preprint arXiv:1803.01049, 2018
102018
The system can't perform the operation now. Try again later.
Articles 1–20