Publications 1998
Den98c
Denker, G.
From Rewrite Theories
to Temporal Logic Theories.
To appear in Kirchner, H. and Kirchner, C., editors, Rewriting
Logic and Its Applications, 2nd Int. Workshop, Pont-A-Mousson,
France, September 1-4, Elsevier Science B.V., Electronic Notes in
Theoretical Computer Science, 1998. (PostScript)
Den98b
Denker, G.
Schritt für Schritt zum Ziel - Entwurf von
Informationssystemen durch Verfeinerung.
To appear in Carolo-Wilhelmina-Mitteilungen, Sonderheft ``25 Jahre
Informatik in Braunschweig'', 1998. (PostScript)
Den98a
Denker, G.
Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu
Transaktionen.
In Nominierungsausschuß der GI, , editor, GI
Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996, pages
9-28. Teubner, 1998.
(PostScript)
ECSD98
Ehrich, H.-D., Caleiro, C., Sernadas, A, and Denker, G.
Logics for Specifying Concurrent Information Systems.
In Chomicki, J. and Saake, G., editors, Logics for Databases and
Information Systems, pages 167-198. Kluwer Academic Publishers, 1998.
(PostScript)
DenMesTal98
Denker, G., Meseguer, J., and Talcott, C.
Protocol Specification and Analysis in Maude.
In Heintze, N. and Wing, J., editors, Proc. of Workshop on
Formal Methods and Security Protocols, 25 June 1998, Indianapolis, Indiana,
1998.(PostScript)