Lisbeth Fajstrup

dblp:01/2810 · DBLP profile ↗
← Back
7ranked-venue papers
7as first author
1since 2021 · last 2021
0000-0003-4936-1176ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 6 · 6 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author
YearPublicationVenuePosition
2021 Cut-off theorems for the PV-model
Lisbeth Fajstrup
Formal Methods Syst. Des.1
2014 Trace spaces of directed tori with rectangular holes
abstract
Raussen (2010) gave the trace space, which corresponds to the executions of parallel non-looped, non-branching processes as a prod-simplicial complex derived from a poset. The connected components represent equivalent executions. For looped processes, the state space is a torus and the trace space is a disjoint union of trace spaces of deloopings. In the current paper, we develop the index poset for the trace space of the deloopings from the once delooped case. When just one process is looped, the index poset is generated as words in a regular language. We also construct a corresponding automaton.
Lisbeth Fajstrup
Math. Struct. Comput. Sci.1
2012 Trace Spaces: An Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
ESOP1
2006 Cubical local partial orders on cubically subdivided spaces - Existence and construction
Lisbeth Fajstrup
Theor. Comput. Sci.1
2006 Algebraic topology and concurrency
Lisbeth Fajstrup, Martin Raußen, Eric Goubault
Theor. Comput. Sci.1
2000 Loops, ditopology and deadlocks
Lisbeth Fajstrup
Math. Struct. Comput. Sci.1
1998 Detecting Deadlocks in Concurrent Systems
Lisbeth Fajstrup, Eric Goubault, Martin Raußen
CONCUR1