Author:
McIver Annabelle,Rabehaja Tahiry M.,Struth Georg
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)
2. Lecture Notes in Computer Science;T. Braibant,2010
3. Brzozowski, J.A.: Derivatives of regular expressions. J. ACM 11(4), 481–494 (1964)
4. Bustan, D., Grumberg, O.: Simulation-based minimization. ACM Trans. Comput. Logic 4(2), 181–206 (2003)
5. Cohen, E.: Weak Kleene algebra is sound and (possibly) complete for simulation. CoRR abs/0910.1028 (2009)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献