Simplicial models for trace spaces II: General higher dimensional automata

Research output: Book/ReportReportResearch

208 Downloads (Pure)

Abstract

Higher Dimensional Automata (HDA) are topological models for the study
of concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.
The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.
Original languageEnglish
PublisherDepartment of Mathematical Sciences, Aalborg University
Number of pages17
Publication statusPublished - Aug 2011
SeriesResearch Report Series
NumberR-2011-11
ISSN1399-2503

Fingerprint

Cubical Complex
Automata
High-dimensional
Trace
Path
End point
Nerve
Concurrency
State Space
Model
Generalise

Cite this

Raussen, M. (2011). Simplicial models for trace spaces II: General higher dimensional automata. Department of Mathematical Sciences, Aalborg University. Research Report Series, No. R-2011-11
Raussen, Martin. / Simplicial models for trace spaces II: General higher dimensional automata. Department of Mathematical Sciences, Aalborg University, 2011. 17 p. (Research Report Series; No. R-2011-11).
@book{87ce059d87374a4286db2802c09af403,
title = "Simplicial models for trace spaces II: General higher dimensional automata",
abstract = "Higher Dimensional Automata (HDA) are topological models for the studyof concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.",
author = "Martin Raussen",
year = "2011",
month = "8",
language = "English",
publisher = "Department of Mathematical Sciences, Aalborg University",

}

Raussen, M 2011, Simplicial models for trace spaces II: General higher dimensional automata. Research Report Series, no. R-2011-11, Department of Mathematical Sciences, Aalborg University.

Simplicial models for trace spaces II: General higher dimensional automata. / Raussen, Martin.

Department of Mathematical Sciences, Aalborg University, 2011. 17 p. (Research Report Series; No. R-2011-11).

Research output: Book/ReportReportResearch

TY - RPRT

T1 - Simplicial models for trace spaces II: General higher dimensional automata

AU - Raussen, Martin

PY - 2011/8

Y1 - 2011/8

N2 - Higher Dimensional Automata (HDA) are topological models for the studyof concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

AB - Higher Dimensional Automata (HDA) are topological models for the studyof concurrency phenomena. The state space for an HDA is given as a pre-cubical complex in which a set of directed paths (d-paths) is singled out. The aim of this paper is to describe a general method that determines the space of directed paths with given end points in a pre-cubical complex as the nerve of a particular category.The paper generalizes the results from Raussen [19, 18] in which we had to assume that the HDA in question arises from a semaphore model. In particular, important for applications, it allows for models in which directed loops occur in the processes involved.

M3 - Report

BT - Simplicial models for trace spaces II: General higher dimensional automata

PB - Department of Mathematical Sciences, Aalborg University

ER -

Raussen M. Simplicial models for trace spaces II: General higher dimensional automata. Department of Mathematical Sciences, Aalborg University, 2011. 17 p. (Research Report Series; No. R-2011-11).