Segui
Marco Peressotti
Titolo
Citata da
Citata da
Anno
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
45*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
382014
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
Choral: Object-oriented choreographic programming
S Giallorenzo, F Montesi, M Peressotti
ACM Tranactions on Programming Languages and Systems 46 (1), 1--59, 2024
33*2024
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
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
242021
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
A formal theory of choreographic programming
L Cruz-Filipe, F Montesi, M Peressotti
Journal of Automated Reasoning 67 (2), 21, 2023
112023
Bigraphs reloaded: a presheaf presentation
M Miculan, M Peressotti
University of Udine, 2013
11*2013
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
102021
Taking Linear Logic Apart
W Kokke, F Montesi, M Peressotti
Linearity & Trends in Linear Logic and Applications 292, 90-103, 2019
102019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20