John A. Ogden

Publication Activity (10 Years)

Years Active: 1983-1988
Publications (10 Years): 0

Publications

Victoria A. Burrill, John A. Ogden
VORTEXT: The Hard-backed Screen. Electron. Publ. 2 (3) (1988)
Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams
Should Concurrency be Specified? Specification and Verification of Concurrent Systems (1988)
P. J. Brown, John A. Ogden
The SUPERMAC Macro Processor in Pascal. Softw. Pract. Exp. 13 (4) (1983)