Dardha, Ornela
Ornela Dardha researcher ORCID id 0000-0001-9927-7875
Dardha, Ornela 1985-
VIAF ID: 1981159474199227661101 (Personal)
Permalink: http://viaf.org/viaf/1981159474199227661101
Preferred Forms
-
-
- 100 1 _ ‡a Dardha, Ornela
- 100 1 _ ‡a Dardha, Ornela ‡d 1985-
- 100 0 _ ‡a Ornela Dardha ‡c researcher ORCID id 0000-0001-9927-7875
4xx's: Alternate Name Forms (1)
5xx's: Related Names (3)
- 551 _ _ ‡a Berat ‡g Albanien ‡4 ortg ‡4 https://d-nb.info/standards/elementset/gnd#placeOfBirth
- 551 _ _ ‡a Glasgow ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a University of Glasgow ‡b Department of Computing Science ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
Works
Title | Sources |
---|---|
Comparing Deadlock-Free Session Typed Processes | |
Coordination models and languages, [2021]: | |
Progress as Compositional Lock-Freedom | |
Semantic Subtyping for Objects and Classes | |
Session types revisited | |
Type Systems for Distributed Programs: Components and Sessions | |
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java |