E-LIB Suche - Ergebnisse für: Peressotti, Marco

1

LEMMA2Jolie: A tool to generate microservice APIs from doma..:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.
Science of Computer Programming. 228 (2023) - p. 102956 , 2023

Link: https://doi.org/10.1016/..

2

Choral: Object-Oriented Choreographic Programming:

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco
ACM Transactions on Programming Languages and Systems. , 2023

Link: https://doi.org/10.1145/..

3

A Formal Theory of Choreographic Programming:

Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco
Journal of Automated Reasoning. 67 (2023) 2 - p. , 2023

Link: https://doi.org/10.1007/..

4

JoT: A Jolie Framework for Testing Microservices:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.. - p. 172-191 , 2023

Link: https://doi.org/10.1007/..

5

Reasoning About Choreographic Programs:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Cruz-Filipe, Luís ; Graversen, Eva ; Montesi, Fabrizio. - p. 144-162 , 2023

Link: https://doi.org/10.1007/..

6

Model-Driven Generation of Microservice Interfaces: From LE..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco. - p. 223-240 , 2022

Link: https://doi.org/10.1007/..

7

Computing (optimal) embeddings of directed bigraphs:

Chiapperini, Alessio ; Miculan, Marino ; Peressotti, Marco
Science of Computer Programming. 221 (2022) - p. 102842 , 2022

Link: https://doi.org/10.1016/..

8

Functional Choreographic Programming:

, In: Lecture Notes in Computer Science; Theoretical Aspects of Computing – ICTAC 2022,

Cruz-Filipe, Luís ; Graversen, Eva ; Lugović, Lovro.. - p. 212-237 , 2022

Link: https://doi.org/10.1007/..

9

Certifying Choreography Compilation:

, In: Theoretical Aspects of Computing – ICTAC 2021; Lecture Notes in Computer Science,

Cruz-Filipe, Luís ; Montesi, Fabrizio ; Peressotti, Marco - p. 115-133 , 2021

Link: https://doi.org/10.1007/..

10

Jolie and LEMMA: Model-Driven Engineering and Programming L..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco.. - p. 276-284 , 2021

Link: https://doi.org/10.1007/..

11

Computing Embeddings of Directed Bigraphs:

, In: Graph Transformation; Lecture Notes in Computer Science,

Chiapperini, Alessio ; Miculan, Marino ; Peressotti, Marco - p. 38-56 , 2020

Link: https://doi.org/10.1007/..

12

Towards a formal model for composable container systems:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Burco, Fabio ; Miculan, Marino ; Peressotti, Marco - p. 173-175 , 2020

Link: https://dl.acm.org/doi/1..

13

No More, No Less: A Formal Model for Serverless Computing:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Gabbrielli, Maurizio ; Giallorenzo, Saverio ; Lanese, Ivan... - p. 148-157 , 2019

Link: https://doi.org/10.1007/..

14

Better late than never: a fully-abstract semantics for clas..:

Kokke, Wen ; Montesi, Fabrizio ; Peressotti, Marco
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

15

Better late than never: a fully-abstract semantics for clas..:

Kokke, Wen ; Montesi, Fabrizio ; Peressotti, Marco
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..