HU Institutional Strategy: KOSMOS Workshop 1/2013 – Halbordnungsspezifikationen in nebenläufigen Systemen und zeitabhängige Erweiterungen

This workshop intends to lead the current loose collaboration of individual scientists from different disciplines to an active cooperation. In complex algorithms, it is often necessary to provide specific characteristics of behaviour which are not covered by conventional sequential specifications. In the long term this cooperation aims to contribute to a comprehensive methodology for semi-proper-based specification and verification of concurrent processes. In cooperation with: the École normale supérieure de Cachan (France), École Centrale de Nantes (France), Sorbonne Université (France), National Institute for Research in Computer Science and Control, Centre National de la Recherche Scientifique (France), Institut de Recherche en Communications et Cybernétique de Nantes (France), Institut de Recherche en Informatique et Systèmes Aléatoires.