Trace theory and VLSI design

PORTAL language description

Seminar on Concurrency

Carnegie-Mellon University, Pittsburgh, PA, July 9-11, 1984

A hierarchical associative processing system

Automata, languages, and programming

12th colloquium, Nafplion, Greece, July 15-19, 1985