search

Event-Structures / event-struct

Mechanized Theory of Event Structures
MIT License
16 stars 1 forks source link

Poset LTS traces --> lineariazations #149

Closed eupp closed 2 years ago

eupp commented 2 years ago

lfsp_lang_lin lemma stating that traces of poset LTS are linearizations