Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Presenting Interval Pomsets with Interfaces;Lecture Notes in Computer Science;2024
2. Closure and Decision Properties for Higher-Dimensional Automata;Theoretical Aspects of Computing – ICTAC 2023;2023
3. A Myhill-Nerode Theorem for Higher-Dimensional Automata;Application and Theory of Petri Nets and Concurrency;2023
4. Languages of higher-dimensional automata;Mathematical Structures in Computer Science;2021-05
5. Shared-Memory Systems and Charts;Computer Science – Theory and Applications;2011