1. Lamport, L., Time, clocks and the ordering of events in a distributed system, CACM, Vol. 21, No. 7, July 1978
2. Le Lann, G., An Analysis of ifferent Approaches to Distributed Computing, Proc. 1st International Conference on Distributed Computing, Huntsville, October 1979
3. Schwartz, R.L., Melliar Smith, P.M., From State Machines to Temporal Logic, Specification Methods for Protocol Standards, IEEETrans, on Comm. Vol-Com-30, Vol 12, Dec. 1982
4. Giraultf C., Reisig, W., Application and Theory of Petri Nets, Informatik Fachberichte, Springer Verlag, Heidelberg 1982
5. Kopetz, H., Lohnert, H. Merker, W., Pauthner, G., The Architekture of MARS, Techn. Univ. Berlin, Bericht MA 82/2, April 1982