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
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
Keyphrases
Choreographic Programming
100%
Linear Connection
66%
Deadlock
33%
Calculus
33%
Distributed Systems
33%
Multiparty Sessions
33%
Race Condition
33%
Distributed Programming
33%
Asynchrony
33%
Modularity
33%
Programming Languages
16%
Global View
16%
Safety Properties
16%
Input-output
16%
Programming Paradigms
16%
Software Quality
16%
Linear Logic
16%
Jolie
16%
Message Flow
16%
Integrated Development Environment
16%
Curry-Howard Correspondence
16%
Formal Development
16%
Distributed Software
16%
PhD Dissertations
16%
Single Input
16%
Type Checker
16%
Prototype Framework
16%
Safety Problems
16%
Proof Transformations
16%
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%