Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Aceto, L., Hennessy, M.: Termination, deadlock, and divergence. Journal of ACM 39(1), 147–187 (1992)
2. Andersen, H.R., Stirling, C., Winskel, G.: A compositional proof system for the modal mu-Calculus. In: LICS 1994, pp. 144–153 (1994)
3. Barringer, H., Kuiper, R., Pnueli, A.: Now you compose temporal logic specifications. In: Proc. 16 th STOC, may 1984, pp. 51–63 (1984)
4. Barringer, H., Kuiper, R., Pnueli, A.: A compositional temporal approach to a CSP-like language. In: Proc. IFIP conference, The Role of Abstract Models in Information Processing, pp. 207–227 (1985)
5. Bergstra, J.A., Klop, J.W.: Algebra of communication processes with abstraction. Theoretical Computer Science 37, 77–121 (1985)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献