2 citations · 2 across the 1 of their papers we have counts for
1 paper · 1 filter
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
We study the problem of language inclusion between finite, labeled prime event structures. Prime event structures are a formalism to compactly represent concurrent behavior of disc…