Language Inclusion for Finite Prime Event Structures

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…