Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference19 articles.
1. Balcázar J., Gabarró J., Sántha M.: Deciding bisimilarity is P-complete. Formal Aspects Comput. 4(6A), 638–648 (1992)
2. Chandra A.K., Kozen D.C., Stockmeyer L.J.: Alternation. J. ACM. 28(1), 114–133 (1981)
3. van Glabbeek R.: Handbook of process algebra. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, chap. The Linear Time—Branching Time Spectrum, pp. 3–99. Elsevier, Amsterdam (2001)
4. Groote, J.F., Moller, F.: Verification of parallel systems via decomposition. In: Proceedings of Third International Conference on Concurrency Theory. Lecture Notes in Computer Science, vol. 630, pp. 62–76. Springer, Heidelberg (1992)
5. Hoare C.A.R.: Communcating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献