Komplexe Datenströme und deren deterministische Verarbeitung
Ein neuartiges logisches Fundament für typisierte Datenströme, das komplexe sequenzielle Muster und parallele Strukturen präzise beschreiben kann. Darauf aufbauend wird ein Kalküle 휆ST entwickelt, der deterministische Datenverarbeitung ermöglicht, selbst wenn Eingaben aus mehreren parallelen Quellen kommen.