The Specification of Process Synchronization by Path Expressions,
, Operating Systems, International Symposium, Rocquencourt, Volume 16, p.89-102, (1974)
Formal Semantics of a Class of High Level Primitives for Co-ordinating Concurrent Processes,
, Acta Informatica, Volume 5, Number 4, p.297-332, (1975)
A Description of Path Expressions by Petri Nets,
, Second ACM Symposium on Principles of Programming Languages, January, Palo Alto, California, p.955, (1975)
Addenda and Corrigenda: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes,
, Acta Informatica, Volume 7, Number 3, p.325, (1977)
Estimating Execution Times of Path Pascal Programs,
, Computer Science, Volume MS, Urbana, Illinois, (1978)
An Implementation of Path Expressions in Pascal,
, Computer Science, Volume MS, Urbana, Illinois, (1978)
ARIAN--An Implementation of a Microcomputer Operating System,
, Computer Science, May 1978, Volume MS, Urbana, Illinois, (1978)
A Fault-tolerant Deadline Mechanism,
, Computer Science, Volume MS, Urbana, Illinois, (1979)
Meeting Real-time Deadlines,
, Proceedings of Computers, Electronics and Control, Calgary, (1979)
Practical Applications of Path Expressions to Systems Programming,
, ACM79, Detroit, p.81-87, (1979)
Simulations of a Fault-Tolerant Deadline Mechanism,
, Digest of Papers FTCS-9: Ninth Annual International Symposium on Fault-Tolerant Computing, June, Madison WI, p.95-102, (1979)
PP-11, A Path Pascal Language System for the PDP-11,
, Proceedings of the Eighth Texas Conference on Operating Systems, November, Dallas, (1979)
Path Expressions in Pascal,
, Proceedings of the Fourth International Conference on Software Engineering, September, Munich, p.212-219, (1979)
An Overview of Path Pascal's Design,
, SIGPLAN Notices, Volume 15, Number 9, p.13-14, (1980)
Path Pascal User Manual,
, SIGPLAN Notices, Volume 15, Number 9, p.15-24, (1980)
Path Pascal With Overlays,
, Computer Science, Volume MS, Urbana, Illinois, (1980)
Pathos: An Experiment to Evaluate Path Pascal,
, Computer Science, Volume MS, Urbana, Illinois, (1980)
A Portable Pascal Optimizer for 16 Bit Machines,
, Computer Science, Volume MS, Urbana, Illinois, (1980)
PP-11,
, Computer Science, Volume MS, Urbana, Illinois, (1980)
Directions for User Defined Communication for Distributed Software,
, Proceedings of The International Conference on Parallel Processing, August, Boyne MI, p.188-189, (1980)
Application of the Fault-Tolerant Deadline Mechanism to a Satellite On-Board Computer System,
, Digest of Papers FTCS-10: Tenth International Symposium on Fault-Tolerant Computing, October, Kyoto Japan, (1980)
The Implementation of Path Pascal on a MC68000 Based System,
, Computer Science, Volume MS, Urbana, Illinois, (1981)
A Multi-language Syntax Directed Editor,
, Computer Science, Volume MS, Urbana, Illinois, (1981)
Fault-Tolerant Scheduling and Broadcast Problems,
, Computer Science, 1/1981, Volume Ph.D., (1981)
Real- Time Programming With Fault-Tolerance,
, Computer Science, 5/1981, Volume Ph.D., Urbana, Illinois, (1981)

]