External Links

    Journal: Inf. Sci.

    Volume 30, Issue 2

    79 -- 105P. M. Lu, Stephen S. Yau, Wonmo Hong. A formal methodology using attributed grammars for multiprocessing-system software development I - Design representation
    107 -- 123P. M. Lu, Stephen S. Yau, Wonmo Hong. A formal methodology using attributed grammars for multiprocessing-system software development II - Validation
    125 -- 150N. C. Mohanty. Autonomous navigation for high altitude satellites
    151 -- 169W. Richard Stark. Homeostasis in synchronous distributed computation, a formal view
    runs on