Author:
Hirshfeld Yoram,Moller Faron
Publisher
Springer Berlin Heidelberg
Reference55 articles.
1. P. Aczel. Non-well-founded Sets. CSLI Lecture Notes 14, Stanford University, 1988.
2. J.C.M. Baeten, J.A. Bergstra and J.W. Klop. Decidability of bisimulation equivalence for processes generating context-free languages. Journal of the ACM 40, pp653–682, 1993.
3. Y. Bar-Hillel, M. Perles and E. Shamir. On formal properties of simple phrase structure grammars. Zeitschrift für Phonetik, Sprachwissenschaft, und Kommunikationsforschung 14, pp143–177, 1961.
4. J.A. Bergstra and J.W. Klop. Algebra of Communicating Processes with Abstraction. Theoretical Computer Science 37, pp77–121, 1985.
5. G. Boudol. Notes on algebraic calculi of processes. In K. Apt (ed), Logics and Models of Concurrent Systems, NATO ASI Series f13, 1985.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献