A Simple Railway System

[1]  Eike Best,et al.  Adequacy Properties of Path Programs , 1982, Theor. Comput. Sci..

[2]  Peter E. Lauer,et al.  Interpreted COSY Programs: Programming and Verification , 1981, ICDCS.

[3]  Eike Best,et al.  Adequacy of Path Programs , 1979, Advanced Course: Net Theory and Applications.

[4]  Peter E. Lauer,et al.  On the Problem of Achieving Adequacy of Concurrent Programs , 1977, Formal Description of Programming Concepts.