S. Keramidis

Publication Activity (10 Years)

Years Active: 1979-1982
Publications (10 Years): 0

Publications

Reinhard Gotzhein, S. Keramidis, Manfred Reitenspieß
A Case Study in Developing Reliable Software: The Construction of a Buffer Management System Used in Network Communication. Fachtagung über Programmiersprachen (1982)
S. Keramidis, Manfred Reitenspieß, K. Weber
Sprachkonstrukte und Betriebssystemunterstützung für asynchrone und verteilte Prozeßsysteme. Implementierungssprachen für nichtsequentielle Programmsysteme (1981)
S. Keramidis, Manfred Reitenspieß
Schutzmechanismen in einem Betriebssystem für eine Multimikrocomputerkonfiguration. GI Jahrestagung (1980)
S. Keramidis, L. Mackert
Ein Kalkül zur Konstruktion deadlockfreier Systeme. ARCS (1980)
S. Keramidis, L. Mackert
Specification and Implementation of Parallel Activities on Abstract Objects. ICSE (1979)
F. Hofmann, S. Keramidis
Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung. GI Jahrestagung (1979)