Author:
Chebotarev Anatoli N.,Morokhovets Marina K.
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. The existence of refinement mapping;Abadi;Theoret. Comput. Sci.,1991
2. Composing specifications;Abadi;ACM Trans. Programming Languages Systems,1993
3. On communicating finite-state machines;Brand;J. ACM,1983
4. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
5. Interacting automata;Chebotarev;Cybernet. Systems Anal.,1991
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献