Adjoin operation on traces

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Adjoin operation on traces #126

Closed eupp closed 3 years ago

eupp commented 3 years ago

Introduce adjoin operation to concatenate traces (returns empty trace if concatenated traces are not adjoint). Use new combinators on traces to simplify sim_lang lemma proof.