"Objektorientierung" . . "Objektorientierung." . "Verteiltes System" . . "Verteiltes System." . "Spezifikationssprache" . . "Spezifikationssprache." . "Verteiltes System Spezifikationssprache Objektorientierung Modul <Software> Temporale Logik Online-Publikation." . . "Modul <Software>" . . "Temporale Logik" . . "Temporale Logik." . "Online-Publikation" . . . . "Foundations of a module concept for distributed object systems" . . . . . . . . . . . . . . .