Marco Peressotti
发表
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2015,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Ivan Lanese,
Maurizio Gabbrielli,
Fabrizio Montesi,
2019,
COORDINATION.
Marco Peressotti,
Tomasz Brengos,
2019,
ArXiv.
Marino Miculan,
Marco Peressotti,
2016,
ICTCS.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2020,
Microservices.
Marino Miculan,
Marco Peressotti,
2016,
ArXiv.
Marino Miculan,
Marco Peressotti,
2020,
ICTCS.
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2014,
DAIS.
Fabrizio Montesi,
Marco Peressotti,
Wen Kokke,
2018,
Proc. ACM Program. Lang..
Marco Peressotti,
2017,
ArXiv.
Marino Miculan,
Marco Peressotti,
Tomasz Brengos,
2014,
J. Log. Algebraic Methods Program..
Fabrizio Montesi,
Marco Peressotti,
F. Montesi,
2018,
ArXiv.
Alessio Mansutti,
Marino Miculan,
Marco Peressotti,
2017,
STAF Workshops.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2018,
SAC.
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2014,
Theor. Comput. Sci..
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2014,
ArXiv.
Reductions for Transition Systems at Work: Deriving a Logical Characterization of Quantitative Bisimulation
pdf
Marino Miculan,
Marco Peressotti,
2017,
ArXiv.
Marco Peressotti,
Tomasz Brengos,
Tomasz Brengos,
2017,
Log. Methods Comput. Sci..
Fabrizio Montesi,
Marco Peressotti,
Saverio Giallorenzo,
2020,
ArXiv.
Marco Peressotti,
Marco Peressotti,
2016,
ArXiv.
Marino Miculan,
Marco Peressotti,
Fabio Burco,
2019,
SAC.
Marco Peressotti,
Tomasz Brengos,
Tomasz Brengos,
2017,
ArXiv.
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2013,
ArXiv.
Marco Peressotti,
Tomasz Brengos,
Tomasz Brengos,
2016,
CONCUR.
Marino Miculan,
Marco Peressotti,
Alessio Chiapperini,
2020,
ICGT.
Marino Miculan,
Marco Peressotti,
Andrea Toneguzzo,
2015,
COORDINATION.
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2014,
QAPL.
Marco Peressotti,
Dario De Nart,
Dante Degl'Innocenti,
2016,
Bull. IEEE Tech. Comm. Digit. Libr..
Marino Miculan,
Marco Peressotti,
Alessio Chiapperini,
2020,
ArXiv.
Marco Peressotti,
Carlo Tasso,
Dario De Nart,
2016,
IRCDL.
Daniel Merkle,
Marco Peressotti,
Marc Hellmuth,
2020,
SOFSEM.
Fabrizio Montesi,
Marco Peressotti,
Wen Kokke,
2019,
Linearity-TLLA@FLoC.
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2017,
ICTCS/CILC.
Fabrizio Montesi,
Marco Peressotti,
2017,
ArXiv.
Fabrizio Montesi,
Marco Peressotti,
Sabine Sachweh,
2021,
ArXiv.
Fabrizio Montesi,
Marco Peressotti,
Eva Graversen,
2021,
ArXiv.
Luís Cruz-Filipe,
Fabrizio Montesi,
Marco Peressotti,
2021
.
Fabrizio Montesi,
Marco Peressotti,
Lu'is Cruz-Filipe,
2021,
ITP.
Fabrizio Montesi,
Marco Peressotti,
Guido Salvaneschi,
2021,
ECOOP.
Fabrizio Montesi,
Marco Peressotti,
Valentino Picotti,
2021,
2021 IEEE International Conference on Services Computing (SCC).
Fabrizio Montesi,
Marco Peressotti,
Lu'is Cruz-Filipe,
2021,
ICTAC.
Marino Miculan,
Marco Peressotti,
Marino Miculan,
2013
.