Sawwas Keramidis

• Beiträge zur Lösung des Verklemmungsproblems in prioritätsfreien Betriebsmittelmaschinen und Petri-Netzen
• Ein allgemeines formales Modell für Betriebssysteme und dessen Implementierung