Trace spaces of directed tori with rectangular holes

Publikation: Bog/antologi/afhandling/rapportRapportForskning

180 Downloads (Pure)

Resumé

In [4] the trace space of parallel non-looped, non-branching processes
is given as a prod-simplicial complex derived from an index category.
For looped processes, the state space is a torus and the trace space is a disjoint
union of tracespaces of deloopings. The index category for the trace space of
the deloopings is developed from the once delooped case. When just one process
is looped, the index category is generated as words in a regular language.
The automaton is constructed.
OriginalsprogEngelsk
ForlagDepartment of Mathematical Sciences, Aalborg University
Antal sider12
StatusUdgivet - 2011
NavnResearch Report Series
NummerR-2011-08
ISSN1399-2503

Fingerprint

Torus
Trace
Regular Languages
Simplicial Complex
Automata
State Space

Citer dette

Fajstrup, L. (2011). Trace spaces of directed tori with rectangular holes. Department of Mathematical Sciences, Aalborg University. Research Report Series, Nr. R-2011-08
Fajstrup, Lisbeth. / Trace spaces of directed tori with rectangular holes. Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; Nr. R-2011-08).
@book{9e5a87b300af49eca49a536922983571,
title = "Trace spaces of directed tori with rectangular holes",
abstract = "In [4] the trace space of parallel non-looped, non-branching processesis given as a prod-simplicial complex derived from an index category.For looped processes, the state space is a torus and the trace space is a disjointunion of tracespaces of deloopings. The index category for the trace space ofthe deloopings is developed from the once delooped case. When just one processis looped, the index category is generated as words in a regular language.The automaton is constructed.",
author = "Lisbeth Fajstrup",
year = "2011",
language = "English",
publisher = "Department of Mathematical Sciences, Aalborg University",

}

Fajstrup, L 2011, Trace spaces of directed tori with rectangular holes. Research Report Series, nr. R-2011-08, Department of Mathematical Sciences, Aalborg University.

Trace spaces of directed tori with rectangular holes. / Fajstrup, Lisbeth.

Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; Nr. R-2011-08).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

TY - RPRT

T1 - Trace spaces of directed tori with rectangular holes

AU - Fajstrup, Lisbeth

PY - 2011

Y1 - 2011

N2 - In [4] the trace space of parallel non-looped, non-branching processesis given as a prod-simplicial complex derived from an index category.For looped processes, the state space is a torus and the trace space is a disjointunion of tracespaces of deloopings. The index category for the trace space ofthe deloopings is developed from the once delooped case. When just one processis looped, the index category is generated as words in a regular language.The automaton is constructed.

AB - In [4] the trace space of parallel non-looped, non-branching processesis given as a prod-simplicial complex derived from an index category.For looped processes, the state space is a torus and the trace space is a disjointunion of tracespaces of deloopings. The index category for the trace space ofthe deloopings is developed from the once delooped case. When just one processis looped, the index category is generated as words in a regular language.The automaton is constructed.

M3 - Report

BT - Trace spaces of directed tori with rectangular holes

PB - Department of Mathematical Sciences, Aalborg University

ER -

Fajstrup L. Trace spaces of directed tori with rectangular holes. Department of Mathematical Sciences, Aalborg University, 2011. 12 s. (Research Report Series; Nr. R-2011-08).