Topological abstraction of higher-dimensional automata (Q278749)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Topological abstraction of higher-dimensional automata	scientific article

Statements

scholarly article

Topological abstraction of higher-dimensional automata (English)

Theoretical Computer Science

publication date

2 May 2016

full work available at URL

https://arxiv.org/abs/1506.02270

zbMATH Keywords

higher-dimensional automata

topological abstraction

trace category

homology graph

cube collapse

MaRDI profile type

MaRDI publication profile

A model category for local po-spaces

Models and van Kampen theorems for directed homotopy theory

Combinatorics on traces

Reparametrizations of continuous paths

Algebraic topology and concurrency

Components of the fundamental category

A model category for the homotopy theory of concurrency

Towards a homotopy theory of process algebra

T-homotopy and Refinement of Observation (I): Introduction

Topological deformation of higher dimensional automata

On the expressiveness of higher dimensional automata

Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem

Some geometric perspectives in concurrency theory

Components of the fundamental category. II

Future Path-components in Directed Topology

A geometric view of partial order reduction

Formal Relationships Between Geometrical and Classical Models for Concurrency

Relative directed homotopy theory of partially ordered spaces

Some collapsing operations for 2-dimensional precubical sets

Weak morphisms of higher dimensional automata

The homology graph of a precubical set

Cubical approximation for directed topology. I

Computing path categories of finite directed cubical complexes

Myths about the mutual exclusion problem

Invariants of directed spaces

Identifiers

Sitelinks

Mathematics(1 entry)

mardi Publication:278749

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q278749&oldid=36246675"