External Links

    Journal: Formal Asp. Comput.

    Volume 12, Issue 2

    71 -- 99Stephan Diehl. Natural Semantics-Directed Generation of Compilers and Abstract Machines
    100 -- 119Rajeev Joshi, Jayadev Misra. Maximally Concurrent Programs
    120 -- 144Stephen Paynter, James M. Armstrong, Jan Haveman. ADL: An Activity Description Language for Real-Time Networks
    runs on