( en | de | ru )

 

Disambiguierung von "Barbanera, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Corinne, a Tool for Choreography Automata.

, , , , und . FACS, Volume 13077 von Lecture Notes in Computer Science, Seite 82-92. Springer, (2021)

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.

Franco Kämmer

Franco Nüske

Franco Nüske

Franco Caldarone

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Global Types for Open Systems., , und . ICE, Volume 279 von EPTCS, Seite 4-20. (2018)Characterisation of Strongly Normalising lambda-mu-Terms., , und . ITRS, Volume 121 von EPTCS, Seite 1-17. (2012)Intersection types for lambda-trees., , , und . Theor. Comput. Sci., 272 (1-2): 3-40 (2002)Retractable and Speculative Contracts., , und . COORDINATION, Volume 10319 von Lecture Notes in Computer Science, Seite 119-137. Springer, (2017)Session types and subtyping for orchestrated interactions., und . J. Log. Algebraic Methods Program., (2019)On Formal Choreographic Modelling: A Case Study in EU Business Processes., , , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 205-219. Springer, (2022)Towards a Semantics for the QUEST Language, und . LICS, Seite 12-21. IEEE Computer Society, (1991)Strong Conjunction and Intersection Types., und . MFCS, Volume 520 von Lecture Notes in Computer Science, Seite 64-73. Springer, (1991)Intersection Types for the lambda-mu Calculus., , und . CoRR, (2017)Two notions of sub-behaviour for session-based client/server systems., und . PPDP, Seite 155-164. ACM, (2010)