Thomas F. Gritzner

According to our database, Thomas F. Gritzner authored at least 7 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1997

RALL: Machine-Supported Proofs for Relation Algebra.

David von Oheimb, Thomas F. Gritzner

Proceedings of the Automated Deduction, 1997

1996

wp-Kalkül und relationale Spezifikation kommunizierender Systeme.

Thomas F. Gritzner

PhD thesis, 1996

A Relation Algebraic Model of Robust Correctness.

Thomas F. Gritzner, Rudolf Berghammer

Theor. Comput. Sci., 1996

1993

Prototyping Relational Specifications Using Higher-Order Objects.

Rudolf Berghammer, Thomas F. Gritzner, Gunther Schmidt

Proceedings of the Higher-Order Algebra, 1993

1992

The action graph model as a link between abstract relation algebras and process algebraic specifications

Thomas F. Gritzner

Forschungsberichte, TU Munich, 1992

1991

A simple toy example of a distributed system : on the design of a connecting switch

Thomas F. Gritzner

Forschungsberichte, TU Munich, 1991

Parallelism algebras: a link between process algebras and abstract relation algebras?

Thomas F. Gritzner, Manfred Broy

Forschungsberichte, TU Munich, 1991