Brian Monahan

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

A semantics for Core ELLA

Howard Barringer and others (1992) · Deliverable D2.3b, Department of Computer Science, University of Manchester, November 1992. Formal Verification Support for ELLA, IED project 4/1/1357

Operational semantics for hardware design languages

Howard Barringer and others (1991) · Advanced Research Workshop on Correct Hardware Design Methodologies