Author:
Wagemaker Jana,Bonsangue Marcello,Kappé Tobias,Rot Jurriaan,Silva Alexandra
Publisher
Springer International Publishing
Reference27 articles.
1. Antimirov, V.M.: Partial derivatives of regular expressions and finite automaton constructions. Theor. Comput. Sci. 155(2), 291–319 (1996).
https://doi.org/10.1016/0304-3975(95)00182-4
2. Backhouse, R.: Closure algorithms and the star-height problem of regular languages. PhD thesis, University of London (1975)
3. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in reo by constraint automata. Sci. Comput. Program. 61(2), 75–113 (2006).
https://doi.org/10.1016/j.scico.2005.10.008
4. Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Inf. Control 60(1–3), 109–137 (1984).
https://doi.org/10.1016/S0019-9958(84)80025-X
5. Boffa, M.: Une remarque sur les systèmes complets d’identités rationnelles. ITA 24, 419–428 (1990)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献