J. V. Tucker

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

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

S. M. Eker and others (1991) · Springer London

Algebraically specified programming systems and Hoare's logic

J. A. Bergstra and others (1980) · Mathematical Centre, Department of Computer Science, Amsterdam

Computing in Algebraic Systems

J. V. Tucker (1980) · Recursion Theory, its Generalisations and Applications · Cambridge University Press