( en | de | ru )

 

Disambiguierung von "Dardha, Ornela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
MAGπ: Types for Failure-Prone Communication.

, und . ESOP, Volume 13990 von Lecture Notes in Computer Science, Seite 363-391. Springer, (2023)

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.

Ornela Dardha

Ornela Bayro

 

Weitere Publikationen von Autoren mit dem selben Namen

Typechecking Java Protocols with StMungo., , und . FORTE, Volume 12136 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2020)Papaya: Global Typestate Analysis of Aliased Objects Extended Version., , und . CoRR, (2021)Deadlock-free session types in linear Haskell., und . Haskell, Seite 1-13. ACM, (2021)SFJ: An Implementation of Semantic Featherweight Java., und . COORDINATION, Volume 12134 von Lecture Notes in Computer Science, Seite 153-168. Springer, (2020)Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)., , , und . Dagstuhl Artifacts Ser., 7 (2): 08:1-08:2 (2021)Structural Subtyping as Parametric Polymorphism., , , , , , und . CoRR, (2023)Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)., , , und . CoRR, (2021)Prioritise the Best Variation., und . FORTE, Volume 12719 von Lecture Notes in Computer Science, Seite 100-119. Springer, (2021)Prioritise the Best Variation., und . Log. Methods Comput. Sci., (2023)Separating Sessions Smoothly., , , , und . Log. Methods Comput. Sci., (2023)