Martin Raußen

Marian Mrozek

J. Appl. Comput. Topol., September, 2024

2023

Connectivity of spaces of directed paths in geometric models for concurrent computation.

[BibT_eX]

[DOI]

Comput. Geom., 2023

2021

Strictifying and taming directed paths in Higher Dimensional Automata.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2021

2020

Pair component categories for directed spaces.

[BibT_eX]

[DOI]

J. Appl. Comput. Topol., 2020

2016

Directed Algebraic Topology and Concurrency

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-15398-8, 2016

2012

Execution spaces for simple higher dimensional automata.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

2010

Preface.

[BibT_eX]

[DOI]

Lisbeth Fajstrup

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

2007

Geometric analysis of nondeterminacy in dynamical systems.

[BibT_eX]

[DOI]

Rafael Wisniewski

Acta Informatica, 2007

Invariants of Directed Spaces.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2007

2006

Deadlocks and dihomotopy in mutual exclusion models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Algebraic topology and concurrency.

[BibT_eX]

[DOI]

Lisbeth Fajstrup

Theor. Comput. Sci., 2006

2004

Components of the Fundamental Category.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2004

2002

Dihomotopy as a Tool in State Space Analysis.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

2000

On the classification of dipaths in geometric models for concurrency.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2000

1998

Detecting Deadlocks in Concurrent Systems.

[BibT_eX]

[DOI]

Lisbeth Fajstrup