Weak morphisms of higher dimensional automata (Q2449047): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / OpenAlex ID
 
Property / OpenAlex ID: W1986211726 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1303.2003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the algebra of cubes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Colimit theorems for relative homotopy groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Models and van Kampen theorems for directed homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorics on traces / rank
 
Normal rank
Property / cites work
 
Property / cites work: History-preserving bisimilarity for higher-dimensional automata via open maps / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dipaths and dihomotopies in a cubical complex / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic topology and concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Components of the fundamental category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Towards a homotopy theory of process algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: T-homotopy and Refinement of Observation (I): Introduction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorics of labelling in higher-dimensional automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological deformation of higher dimensional automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressiveness of higher dimensional automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some geometric perspectives in concurrency theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Components of the fundamental category. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Relationships Between Geometrical and Classical Models for Concurrency / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3625520 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4707052 / rank
 
Normal rank
Property / cites work
 
Property / cites work: ABSTRACT HOMOTOPY / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3771629 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3644388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Homologie singulière des espaces fibrés. Applications / rank
 
Normal rank

Latest revision as of 12:24, 8 July 2024

scientific article
Language Label Description Also known as
English
Weak morphisms of higher dimensional automata
scientific article

    Statements

    Weak morphisms of higher dimensional automata (English)
    0 references
    0 references
    6 May 2014
    0 references
    0 references
    higher-dimensional automata
    0 references
    precubical set
    0 references
    geometric realisation
    0 references
    trace language
    0 references
    preorder relation
    0 references
    abstraction
    0 references
    0 references
    0 references