External Links

    Journal: Computer Networks

    Volume 25, Issue 1

    3 -- 22Reinhard Gotzhein. Formal Definition and Representation of Interaction Points
    23 -- 41Guy Leduc. A Framework Based on Implementation Relations for Implementing LOTOS Specifications
    43 -- 61Jürgen M. Schneider, Lothar F. Mackert, Georg Zörntlein, Roelof Jan Velthuys, Udo Bär. An Integrated Environment for Developing Communication Protocols
    63 -- 82Stanislaw Budkowski. Estelle Development Toolset (EDT)
    83 -- 98Jean-Pierre Courtiat, Pierre de Saqui-Sannes. ESTIM: An Integrated Environment for the Simulation and Verification of OSI Protocols Specified in Estelle
    runs on