### Resumé

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.

Originalsprog | Engelsk |
---|

Forlag | Department of Mathematical Sciences, Aalborg University |
---|---|

Antal sider | 12 |

Status | Udgivet - 2011 |

Navn | Research Report Series |
---|---|

Nummer | R-2011-08 |

ISSN | 1399-2503 |

### Fingerprint

### Citer dette

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

}

*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.

Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

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 -