Author:
Lodaya K.,Shyamasundar R. K.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference24 articles.
1. Lect. Notes Comput. Sci.;American National Standards Institute,1983
2. [AFD80] Apt, K.R., Francez, N., DeRoever, W.P.: A proof system for communicating sequential processes. ACM Trans. Prog. Lang. Syst.2 (3), 359–385 (1980) [Also Moitra, A.: Letter,5 (3), 500–501 (1983)]
3. [Apt83] Apt, K.R.: Formal justification of a proof system for communicating sequential processes. JACM30 (1), 197–216 (1983)
4. NATO ASI Series F;K.R. Apt,1985
5. [AA78] Arbib, M.A., Alagic, S.: Proof rules for gotos. Acta Informatica11, 139–148 (1978)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献