Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Link opens in a new tab
Dansk
English
Search content at IT-University of Copenhagen
Home
Organisation
Researchers
Projects
Publications
Datasets
Courses
Press/Media
Activities
Prizes
Choreographic Programming
Fabrizio Montesi
Programming Logic and Semantics
Research output
:
Theses
›
PhD thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Choreographic Programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Correctness
50%
Critical Aspect
50%
Deadlock
100%
Distributed Programming
100%
Distributed System
100%
Input/Output
50%
Integrated Development Environment
50%
Programming Language
50%
Programming Paradigm
50%
Proof
50%
quality of software
50%
Race Condition
100%
Use Case
50%
Keyphrases
Proof Transformation
16%