Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
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
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%