共 13 条
[1]
(1976)
[2]
Joachim T., Implantation du protocole standard X.25 à partir d'un modèle de formalisation et de mécanismes abstraits de programmation, (1977)
[3]
Brinch Hansen P., The programming language Concurrent Pascal, IEEE Trans. Software Eng., SE-1, pp. 199-207, (1975)
[4]
Bochmann G.V., Gecsei J., A unified model for the specification and verification of protocols, Proc. IFIP Congr, pp. 229-234, (1977)
[5]
Bochmann G.V., Chung R.J., A formalized description of HDC classes of procedures, Proc. IEEE Nat. Telecommun. Conf., pp. 03A 2-1-03A2-11, (1977)
[6]
Schmid H.A., On the efficient implementation of conditional critical regions and the construction of monitors, Acta Inform., 6, pp. 227-249, (1976)
[7]
Desjardins P., Un pilote pour controleur de communication dans Solo-Sigma
[8]
Rybczynski A.M., Collection of questionsand answers on X.25, (1977)
[9]
Bochmann G.V., Specification and verification of computer communication protocols, (1978)
[10]
Belsnes D., X.25 DTE implement in Simula, Proc. Eurocomp