Author:
Bergstra J. A.,Middelburg C. A.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference46 articles.
1. Arora S., Barak B.: Computational Complexity: A Modern Approach. Cambridge University Press, Cambridge (2009)
2. Baker H.G.: Precise instruction scheduling without a precise machine model. SIGARCH Comput. Archit. News 19(6), 4–8 (1991)
3. Bergstra J.A., Bethke I.: Polarized process algebra and program equivalence. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) Proceedings 30th ICALP, Lecture Notes in Computer Science, vol. 2719, pp. 1–21. Springer, New York (2003)
4. Bergstra J.A., Loots M.E.: Program algebra for component code. Formal Aspects Comput. 12(1), 1–17 (2000)
5. Bergstra J.A., Loots M.E.: Program algebra for sequential code. J. Logic Algebraic Programm. 51(2), 125–156 (2002)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献