Volume 30, Number 1, July 1983
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.
79-105

- P. M. Lu, Stephen S. Yau, Wonmo Hong:
A formal methodology using attributed grammars for multiprocessing-system software development II - Validation.
107-123

- N. C. Mohanty:
Autonomous navigation for high altitude satellites.
125-150

- W. Richard Stark:
Homeostasis in synchronous distributed computation, a formal view.
151-169

Volume 30, Number 3, September 1983
Last update Tue May 21 19:09:15 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page