Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,General Mathematics,Statistics and Probability
Reference19 articles.
1. M. Grandis, Directed Algebraic Topology, Cambridge Univ. Press, Cambridge (2009).
2. L. Fajstrup, “Dicovering spaces,” Homology Homotopy Appl. 5, No. 2, 1–17 (2003); erratum ibid. 13. No. 1, 403-406 (2011).
3. R. J. van Glabbeek, Bisimulation Semantics for Higher Dimensional Automata. http://theory.stanford.edu/~rvg/hda
4. V. R. Pratt, “Modeling concurrency with geometry,” In: Proc. POPL ’91 Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 311-322, ACM, New York (1991).
5. R. J. van Glabbeek, “On the expressiveness of higher dimensional automata,” Theor. Comput. Sci. 356, No. 3, 265–290 (2006); erratum ibid. 368, No. 1-2, 168–194 (2006).