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
Copyright © Mon Nov 2 21:41:53 2009
by Michael Ley (ley@uni-trier.de)