Par, eine ausdrucksstarke, nebenläufige, totale* Sprache mit linearen Typen und voller Dualität. Basierend auf linearer Logik und Sitzungstypen verfügt Par sowohl über funktionale als auch über imperative Merkmale, die nahtlos integriert sind.