-
1Academic Journal
المؤلفون: Haucourt, Emmanuel, Coursolle, Pierre-Yves
المساهمون: Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX), École polytechnique (X)-Centre National de la Recherche Scientifique (CNRS)
المصدر: ISSN: 2367-1726 ; Journal of Applied and Computational Topology ; https://hal.science/hal-04439755 ; Journal of Applied and Computational Topology, 2024, 8 (1), ⟨10.1007/s41468-023-00155-4⟩.
مصطلحات موضوعية: coequalizer locally ordered space vortex directed topology concurrency higher dimensional automata precubical set realization, coequalizer, locally ordered space, vortex, directed topology, concurrency, higher dimensional automata, precubical set, realization, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04439755; https://hal.science/hal-04439755; https://hal.science/hal-04439755/document; https://hal.science/hal-04439755/file/noncocompleteAPCT.pdf
-
2Academic Journal
المؤلفون: Kahl, Thomas
مصطلحات موضوعية: Higher-dimensional automata, Transition system, Homology language, Ciências Naturais::Matemáticas
وصف الملف: application/pdf
Relation: https://doi.org/10.1007/s41468-023-00120-1; Kahl, T. (2023, May 4). On the homology language of HDA models of transition systems. Journal of Applied and Computational Topology. Springer Science and Business Media LLC. http://doi.org/10.1007/s41468-023-00120-1; https://hdl.handle.net/1822/87018
-
3Academic Journal
المؤلفون: Raussen, Martin
المصدر: 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
مصطلحات موضوعية: Connectivity, Directed path, Higher Dimensional Automata, Nerve lemma, Spare capacity
وصف الملف: application/pdf
الاتاحة: https://vbn.aau.dk/da/publications/edece640-85e9-46d3-abbc-24c4f47bcea3
https://doi.org/10.1016/j.comgeo.2022.101942
https://vbn.aau.dk/ws/files/539424317/1-s2.0-S0925772122000852-main.pdf
https://arxiv.org/pdf/2106.11703.pdf
http://www.scopus.com/inward/record.url?scp=85137165564&partnerID=8YFLogxK -
4Academic Journal
المساهمون: Uli Fahrenberg and Christian Johansen and Georg Struth and Krzysztof Ziemiański
مصطلحات موضوعية: higher-dimensional automata, interval posets, Kleene theorem, concurrency theory, labelled precube categories
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.29
-
5Academic Journal
المؤلفون: Kahl, Thomas
مصطلحات موضوعية: Higher-dimensional automata, Symmetric precubical set, Bisimulation, Ciências Naturais::Matemáticas, Ciências Naturais::Ciências da Computação e da Informação, Science & Technology
وصف الملف: application/pdf
Relation: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00013%2F2020/PT; info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDP%2F00013%2F2020/PT; https://www.sciencedirect.com/science/article/pii/S0304397522004261; https://hdl.handle.net/1822/87562
-
6Academic Journal
المؤلفون: Kahl, Thomas
مصطلحات موضوعية: Higher-dimensional automata, Weak equivalence, Trace language, Homology language, Ciências Naturais::Matemáticas, Science & Technology
وصف الملف: application/pdf
Relation: info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FMAT%2F00013%2F2013/PT; https://dmtcs.episciences.org/7490/pdf; https://hdl.handle.net/1822/80009; 12
-
7Academic Journal
المؤلفون: Kahl, Thomas
مصطلحات موضوعية: Higher-dimensional automata, transition system, Shared-variable system, Tensor product, Interleaving, Ciências Naturais::Matemáticas, Ciências Naturais::Ciências da Computação e da Informação, Science & Technology
وصف الملف: application/pdf
Relation: info:eu-repo/grantAgreement/FCT/5876/147370/PT; https://lmcs.episciences.org/5749; http://hdl.handle.net/1822/61393
الاتاحة: http://hdl.handle.net/1822/61393
https://doi.org/10.23638/LMCS-15(3:28)2019 -
8Academic Journal
المؤلفون: Ziemiański, Krzysztof, Fahrenberg, Uli
مصطلحات موضوعية: higher-dimensional automata, Myhill-Nerode theorem, concurrency theory, determinism
Relation: 167-188; https://repozytorium.uw.edu.pl//handle/item/101691
-
9Academic Journal
المؤلفون: Emanuela Merelli, Matteo Rucco, Peter Sloot, Luca Tesei
المصدر: Entropy, Vol 17, Iss 10, Pp 6872-6892 (2015)
مصطلحات موضوعية: topological data analysis, persistent entropy automaton, higher dimensional automata, immune system, idiotypic network, computational agents, Science, Astrophysics, QB460-466, Physics, QC1-999
وصف الملف: electronic resource
-
10Academic Journal
المؤلفون: Kahl, Thomas
مصطلحات موضوعية: Higher-dimensional automata, Labeled homology, Cubical homology, Cubical dimap, Ciências Naturais::Matemáticas
وصف الملف: application/pdf
Relation: info:eu-repo/grantAgreement/FCT/5876/147370/PT; http://hdl.handle.net/1822/59753
-
11Report
المؤلفون: Trotter, Christopher Alexander
المصدر: Trotter, Christopher Alexander. A Non-Sculpting Theorem in Non-Interleaving Models for Concurrency. Master thesis, University of Oslo, 2018
-
12Academic Journal
المؤلفون: Fahrenberg, Uli, Legay, Axel
المساهمون: Uli Fahrenberg and Axel Legay
مصطلحات موضوعية: higher-dimensional automata, bisimulation
وصف الملف: application/pdf
Relation: Is Part Of LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.101
-
13Academic Journal
المساهمون: Ralph Kopperman and Prakash Panangaden and Michael B. Smyth and Dieter Spreen
مصطلحات موضوعية: Borel hierarchy, causets, Chu spaces, computations in higher types, computable analysis, constructive topology, differential calculus, digital topology, dihomotopy, domain theory, domain representation, formal topology, higher dimensional automata, mereo\-topology, partial metrics
وصف الملف: application/pdf
Relation: Is Part Of Dagstuhl Seminar Proceedings, Volume 6341, Computational Structures for Modelling Space, Time and Causality (2007); https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06341.1
-
14
المؤلفون: Thomas Kahl
المساهمون: Universidade do Minho
مصطلحات موضوعية: FOS: Computer and information sciences, 68Q85, 55N99, Pure mathematics, Computer Science - Logic in Computer Science, Trace (linear algebra), General Computer Science, Formal Languages and Automata Theory (cs.FL), Structure (category theory), Computer Science - Formal Languages and Automata Theory, Homology (mathematics), Weak equivalence, Theoretical Computer Science, FOS: Mathematics, Discrete Mathematics and Combinatorics, Algebraic Topology (math.AT), Mathematics - Algebraic Topology, Equivalence (measure theory), Mathematics, Ciências Naturais::Matemáticas, Homology language, Science & Technology, Higher-dimensional automata, Automaton, Logic in Computer Science (cs.LO), Tensor product, Trace language, Independence (mathematical logic)
وصف الملف: application/pdf
-
15Book
المؤلفون: Fahrenberg, Ulrich
المصدر: Fahrenberg , U 2005 , Bisimulation for Higher-Dimensional Automata. A Geometric Interpretation . Research Report Series , no. R-2005-01 , Aalborg Universitetsforlag , Dept. of Mathematical Sciences .
مصطلحات موضوعية: bisimulation, directed topology, Higher-dimensional automata
وصف الملف: application/pdf
-
16Academic Journal
مصطلحات موضوعية: concurrency models, higher dimensional automata, ST-structures, noninterleaving, expressiveness
Relation: Logical Methods in Computer Science; 5:1-5:32; https://repozytorium.uw.edu.pl//handle/item/119093
-
17Academic Journal
المؤلفون: Raussen, Martin
المصدر: 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
مصطلحات موضوعية: Keywords: Higher Dimensional Automata, d-path, homotopy equivalence, nerve lemma, parallel, serial, strict, tame
-
18Academic Journal
المؤلفون: R. J. Van Glabbeek, Van Glabbeek
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Petri nets higher dimensional automata [8
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.70.8835; http://www.cse.unsw.edu.au/~rvg/pub/express-entcs.pdf
-
19Academic Journal
المؤلفون: Ulrich Fahrenberg
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Higher-dimensional automata, bisimulation, open maps
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.535.4639; http://vbn.aau.dk/files/112567/R-2005-01.pdf
-
20
المؤلفون: Martin Raussen
المصدر: 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
مصطلحات موضوعية: Higher Dimensional Automata [Keywords], Theoretical computer science, nerve lemma, serial, Computer science, tame, Algebraic topology, Space (mathematics), 68Q85, 55P10, 55U10, Computer Science Applications, Automaton, Computational topology, Mathematics (miscellaneous), parallel, Lemma (logic), homotopy equivalence, FOS: Mathematics, State space, Algebraic Topology (math.AT), Mathematics - Algebraic Topology, Algebra over a field, d-path, Computer Science::Operating Systems, strict
Full Text Finder