IT University of Copenhagen carries out research in many areas of computer science. Two of our research groups, the programming, logic and semantics group and the process and system models
In Choreographic Programming, a distributed system is programmed by giving a choreography, a global description of its interactions, instead of separately specifying the behaviour of each of its processes. Process implementations