Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Projects
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Choreographic Programming
Fabrizio Montesi
Programming Logic and Semantics
Research output
:
Book / Anthology / Report / Ph.D. thesis
›
Ph.D. thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Choreographic Programming'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Deadlock
100%
Distributed Systems
100%
Distributed Programming
100%
Race Condition
100%
Input/Output
50%
Programming Paradigm
50%
Use Case
50%
Integrated Development Environment
50%
Critical Aspect
50%
quality of software
50%
Keyphrases
Proof Transformations
16%