( en | de | ru )

 

Disambiguierung von "Peressotti, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Functional Choreographic Programming.

, , , , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 212-237. Springer, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards a Formal Model for Composable Container Systems., , und . CoRR, (2019)Structural operational semantics for non-deterministic processes with quantitative aspects., und . CoRR, (2014)No More, No Less - A Formal Model for Serverless Computing., , , , , und . COORDINATION, Volume 11533 von Lecture Notes in Computer Science, Seite 148-157. Springer, (2019)Distributed execution of bigraphical reactive systems., , und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2014)Linear Logic, the π-calculus, and their Metatheory: A Recipe for Proofs as Processes., und . CoRR, (2021)Computing (optimal) embeddings of directed bigraphs., , und . Sci. Comput. Program., (2022)Multiparty Languages: The Choreographic and Multitier Cases (Pearl)., , , , , und . ECOOP, Volume 194 von LIPIcs, Seite 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Model-Driven Code Generation for Microservices: Service Models., , , und . Microservices, Volume 111 von OASIcs, Seite 6:1-6:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Better late than never: a fully-abstract semantics for classical processes., , und . Proc. ACM Program. Lang., 3 (POPL): 24:1-24:29 (2019)GSOS for non-deterministic processes with quantitative aspects., und . QAPL, Volume 154 von EPTCS, Seite 17-33. (2014)