Zobrazeno 1 - 10
of 81
pro vyhledávání: '"higher dimensional automata"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Martin Raussen
Publikováno v:
Raussen, M 2023, ' Connectivity of spaces of directed paths in geometric models for concurrent computation ', Computational Geometry, vol. 109, 101942 . https://doi.org/10.1016/j.comgeo.2022.101942
Higher Dimensional Automata (HDA) are higher dimensional relatives to transition systems in concurrency theory taking into account to which degree various actions commute. Mathematically, they take the form of labelled cubical complexes. It is import
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::31d8967a28edfcd6d75d0339691afa7a
https://vbn.aau.dk/ws/files/539424317/1-s2.0-S0925772122000852-main.pdf
https://vbn.aau.dk/ws/files/539424317/1-s2.0-S0925772122000852-main.pdf
Publikováno v:
Entropy, Vol 17, Iss 10, Pp 6872-6892 (2015)
In this paper, we propose a methodology for deriving a model of a complex system by exploiting the information extracted from topological data analysis. Central to our approach is the S[B] paradigm in which a complex system is represented by a two-le
Externí odkaz:
https://doaj.org/article/4cacf6e33d074f36b7a258e9d86330f2
Publikováno v:
Trotter, Christopher Alexander. A Non-Sculpting Theorem in Non-Interleaving Models for Concurrency. Master thesis, University of Oslo, 2018
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Leibniz International Proceedings in Informatics
We prove a Kleene theorem for higher-dimensional automata (HDAs). It states that the languages they recognise are precisely the rational subsumption-closed sets of interval pomsets. The rational operations include a gluing composition, for which we e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d89e92d9e30d8f5b09ac0e96914a542f
https://hdl.handle.net/11250/3055862
https://hdl.handle.net/11250/3055862
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Thomas Kahl
This paper introduces a notion of equivalence for higher-dimensional automata, called weak equivalence. Weak equivalence focuses mainly on a traditional trace language and a new homology language, which captures the overall independence structure of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d35bdacb30348cec766cf14f22d61893
https://hdl.handle.net/1822/80009
https://hdl.handle.net/1822/80009
Autor:
Martin Raussen
Publikováno v:
Raussen, M 2021, ' Strictifying and taming directed paths in Higher Dimensional Automata ', Mathematical Structures in Computer Science, vol. 31, no. 2, pp. 193-213 . https://doi.org/10.1017/S0960129521000128
Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate whether o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::040151390c80c2dfcf791421bf5d77ca