( en | de | ru )

 

Disambiguierung von "Barbanera, Franco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Retractable and Speculative Contracts.

, , und . COORDINATION, Volume 10319 von Lecture Notes in Computer Science, Seite 119-137. Springer, (2017)

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 Caldarone

Franco Nüske

Franco Lehmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Session types and subtyping for orchestrated interactions., und . J. Log. Algebraic Methods Program., (2019)Retractable and Speculative Contracts., , und . COORDINATION, Volume 10319 von Lecture Notes in Computer Science, Seite 119-137. Springer, (2017)Intersection types for lambda-trees., , , und . Theor. Comput. Sci., 272 (1-2): 3-40 (2002)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)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)