David B. Benson
David B. Benson.
Syntax and semantics: A categorical view.
Information and Control
, 17(2):145-160, September 1970.
Citations.
David B. Benson.
The basic algebraic structures in categories of derivations.
Information and Control
, 28(1):1-29, May 1975.
References and Citations.
Michael G. Main and David B. Benson.
Functional behvior of nondeterministic and concurrent programs.
Information and Control
, 62(2/3):144-189, August/September 1984.
Citations.
David B. Benson and Ofer Ben-Shachar.
Bisimulation of automata.
Information and Computation
, 79(1):60-83, October 1988.
References and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database