Languages
Dardha, Ornela.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Type systems for distributed programs = components and sessions /
by:
Dardha, Ornela.; SpringerLink (Online service)
(Electronic resources)
Coordination models and languages = 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings /
by:
COORDINATION (Conference) (2021 :); Damiani, Ferruccio.; Dardha, Ornela.; SpringerLink (Online service)
(Electronic resources)
Subjects
Electronic data processing- Distributed processing.
Mathematical Logic and Formal Languages.
Natural Language Processing (NLP)
Software architecture
Software Engineering/Programming and Operating Systems.
Database Management.
Programming languages (Electronic computers)
Electronic data processing- Distributed processing
Artificial Intelligence.
Computer software- Verification
Computer Science.
Computer Communication Networks.
Computer Applications.