src: This research project develops formal models for state-of-the-art programming paradigms and APIs, such as Grand-Central-Dispatch, which directly allow programmers to write code that is asynchronous and concurrent.
tgt: Dieses Forschungsprojekt entwickelt formale Modelle für state-of-the-art Programmierparadigmen und APIs, wie beispielsweise Grand Central Dispatch, die es Programmierern ermöglichen, direkt asynchronen und nebenläufigen Programmcode zu schreiben.