S. M. Eker

Verification of Synchronous Concurrent Algorithms Using OBJ3: A Case Study of the Pixel-Planes Architecture

J. V. Tucker, John V. Tucker, V. Stavridou, 1991 .

Associative-Commutative Matching Via Bipartite Graph Matching

S. M. Eker, S. Eker, 1995, Comput. J..

Specification, Derivation and Verification of Concurrent Line Drawing Algorithms and Architectures

J. V. Tucker, John V. Tucker, S. M. Eker, 1988 .

FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment

Joseph A. Goguen, Victoria Stavridou, S. M. Eker, 1992, TPCD.

A comparison of OBJ3 and ASF+SDF

S. M. Eker, 1992 .

Verification of parameterised synchronous concurrent algorithms with OBJ3: the pixel planes architecture revisited

S. M. Eker, 1992 .

Tools for the Formal Development of Rasterisation Algorithms

J. V. Tucker, S. M. Eker, S. Eker, 1989 .