Volume 30, Number 1, July 1983
Malay K. Sen
: Minimization of Boolean functions of any number of variables using decimal labels.
: On a coding theorem connected with entropy of order alphaand type beta.
Volume 30, Number 2, August 1983
P. M. Lu
, Stephen S. Yau
, Wonmo Hong
: A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation.
N. C. Mohanty
: Autonomous navigation for high altitude satellites.
W. Richard Stark
: Homeostasis in synchronous distributed computation, a formal view.
Volume 30, Number 3, September 1983
: On axiomatic characterization of information improvement due to N revisions.
: A model for error recovery with global checkpointing.