Peter Luksch

• Endliche modulare Verbände frei erzeugt von einer geordneten Menge
• Real-Time and Distributed Real-Time Systems