Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes på en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Kurser
Presse/medier
Aktiviteter
Priser
Choreographic Programming
Fabrizio Montesi
Programming Logic and Semantics
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Choreographic Programming'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Computer Science
Deadlock
100%
Distributed Programming
100%
Race Condition
100%
Distributed System
100%
Input/Output
50%
Programming Paradigm
50%
Use Case
50%
Integrated Development Environment
50%
Critical Aspect
50%
quality of software
50%
Programming Language
50%
Correctness
50%
Proof
50%
Keyphrases
Proof Transformation
16%