Taking Linear Logic Apart
Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco
Published in Electronic proceedings in theoretical computer science (15.04.2019)
Published in Electronic proceedings in theoretical computer science (15.04.2019)
Get full text
Journal Article
GSOS for non-deterministic processes with quantitative aspects
Miculan, Marino, Peressotti, Marco
Published in Electronic proceedings in theoretical computer science (06.06.2014)
Published in Electronic proceedings in theoretical computer science (06.06.2014)
Get full text
Journal Article
Computing (optimal) embeddings of directed bigraphs
Chiapperini, Alessio, Miculan, Marino, Peressotti, Marco
Published in Science of computer programming (01.09.2022)
Published in Science of computer programming (01.09.2022)
Get full text
Journal Article
JoT: A Jolie framework for testing microservices
Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco, Rademacher, Florian, Unwerawattana, Narongrit
Published in Science of computer programming (01.02.2025)
Published in Science of computer programming (01.02.2025)
Get full text
Journal Article
A Formal Theory of Choreographic Programming
Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco
Published in Journal of automated reasoning (01.06.2023)
Published in Journal of automated reasoning (01.06.2023)
Get full text
Journal Article
LEMMA2Jolie: A tool to generate microservice APIs from domain models
Giallorenzo, Saverio, Montesi, Fabrizio, Peressotti, Marco, Rademacher, Florian
Published in Science of computer programming (01.06.2023)
Published in Science of computer programming (01.06.2023)
Get full text
Journal Article
Better late than never: a fully-abstract semantics for classical processes
Kokke, Wen, Montesi, Fabrizio, Peressotti, Marco
Published in Proceedings of ACM on programming languages (02.01.2019)
Published in Proceedings of ACM on programming languages (02.01.2019)
Get full text
Journal Article
Behavioural equivalences for coalgebras with unobservable moves
Brengos, Tomasz, Miculan, Marino, Peressotti, Marco
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Published in Journal of logical and algebraic methods in programming (01.11.2015)
Get full text
Journal Article