M. C. Browne

4 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.

Exploiting parallelism in cache coherency protocol engines

A. Nowatzyk and others (1995) · Springer Berlin Heidelberg

Characterizing Kripke Structures in Temporal Logic.

M. C. Browne and others (1987) · Defense Technical Information Center

Automatic verification using temporal logic: two new examples

M. C. Browne and others (1986) · Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI · North-Holland

Reasoning about networks with many identical finite state processes

M. C. Browne and others (1986) · ACM Symposium on Principles of Distributed Computing (PODC 1986)