Author:
Amrane Amazigh,Bazille Hugo,Fahrenberg Uli,Ziemiański Krzysztof
Publisher
Springer Nature Switzerland
Reference21 articles.
1. Amrane, A., Bazille, H., Fahrenberg, U., Ziemiański, K.: Closure and decision properties for higher-dimensional automata. CoRR, abs/2305.02873 (2023)
2. Bednarczyk, M.A.: Categories of Asynchronous Systems. PhD thesis, University of Sussex, UK (1987)
3. Fahrenberg, U.: Higher-dimensional timed and hybrid automata. Leibniz Trans. Embed. Syst. 8(2), 03:1–03:16 (2022)
4. Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: Languages of higher-dimensional automata. Math. Struct. Comput. Sci. 31(5), 575–613 (2021). http://arxiv.org/2103.07557
5. Fahrenberg, U., Johansen, C., Struth, G., Ziemianski, K.: A Kleene theorem for higher-dimensional automata. In: Klin, B., Lasota, S., Muscholl, A. (eds.), CONCUR, volume 243 of Leibniz International Proceedings in Informatics, pp. 29:1–29:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022). https://doi.org/10.4230/LIPIcs.CONCUR.2022.29
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献