Trace spaces of directed tori with rectangular holes

Research output: Book/ReportReportResearch

335 Downloads (Pure)


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.
Original languageEnglish
PublisherDepartment of Mathematical Sciences, Aalborg University
Number of pages12
Publication statusPublished - 2011
SeriesResearch Report Series


Dive into the research topics of 'Trace spaces of directed tori with rectangular holes'. Together they form a unique fingerprint.

Cite this