scientific article
From MaRDI portal
Publication:3625520
zbMath1176.55001MaRDI QIDQ3625520
Publication date: 5 May 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
groupoidcategory theoryconcurrencytraffic networkabstract homotopy theorycubical setsdirected algebraic topologycylinder functorreversorweighted algebraic topology
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to algebraic topology (55-01)
Related Items
A geometric view of partial order reduction ⋮ Weak equivalence of higher-dimensional automata ⋮ Topological abstraction of higher-dimensional automata ⋮ Monads, partial evaluations, and rewriting ⋮ Natural Homology ⋮ Bicategories for TQFTs with defects with structure ⋮ Geometric and combinatorial views on asynchronous computability ⋮ Languages of higher-dimensional automata ⋮ Stratified spaces, directed algebraic topology, and state-sum TQFTs ⋮ Unnamed Item ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Iterated chromatic subdivisions are collapsible ⋮ A directed persistent homology theory for dissimilarity functions ⋮ Homology groups of cubical sets ⋮ Ordered locales ⋮ Catoids and modal convolution algebras ⋮ Directed homology theories and Eilenberg-Steenrod axioms ⋮ \( \ell r\)-multisemigroups, modal quantales and the origin of locality ⋮ Simplicial models for trace spaces. II: General higher dimensional automata ⋮ Variations on a theme of homotopy ⋮ Weak morphisms of higher dimensional automata ⋮ Unique decomposition of homogeneous languages and application to isothetic regions ⋮ Cubical $(\omega,p)$-categories ⋮ Strictifying and taming directed paths in Higher Dimensional Automata ⋮ Spaces of directed paths on pre-cubical sets ⋮ New statistical models of nonergodic cognitive systems and their pathologies ⋮ Open-graphs and monoidal theories ⋮ Some collapsing operations for 2-dimensional precubical sets ⋮ Homology of spaces of directed paths on Euclidean cubical complexes ⋮ Saturating directed spaces ⋮ Formal Relationships Between Geometrical and Classical Models for Concurrency ⋮ Streams, d-Spaces and Their Fundamental Categories ⋮ Exponentiable streams and prestreams ⋮ Execution spaces for simple higher dimensional automata ⋮ Simplicial models of trace spaces ⋮ On execution spaces of PV-programs ⋮ Directed topological complexity ⋮ Pair component categories for directed spaces ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces ⋮ Labeled homology of higher-dimensional automata ⋮ Combinatorial conditions for directed collapsing ⋮ Inessential directed maps and directed homotopy equivalences ⋮ Dijkgraaf–Witten type invariants of Seifert surfaces in 3-manifolds ⋮ The trace space of the \(k\)-skeleton of the \(n\)-cube ⋮ Directed Homotopy in Non-Positively Curved Spaces