Thomas F. Gritzner

Publication Activity (10 Years)

Years Active: 1991-1997
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

David von Oheimb, Thomas F. Gritzner
RALL: Machine-Supported Proofs for Relation Algebra. CADE (1997)
Thomas F. Gritzner, Rudolf Berghammer
A Relation Algebraic Model of Robust Correctness. Theor. Comput. Sci. 159 (2) (1996)
Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt
Prototyping Relational Specifications Using Higher-Order Objects. HOA (1993)
Thomas F. Gritzner
The action graph model as a link between abstract relation algebras and process algebraic specifications Forschungsberichte, TU Munich (1992)
Thomas F. Gritzner, Manfred Broy
Parallelism algebras: a link between process algebras and abstract relation algebras? Forschungsberichte, TU Munich (1991)
Thomas F. Gritzner
A simple toy example of a distributed system : on the design of a connecting switch Forschungsberichte, TU Munich (1991)