Pomset language definition and simple properties

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Closed eupp closed 3 years ago

eupp commented 3 years ago

This PR features:

definition of pomset language as a set of labelled posets lPoset.eventType L -> Prop invariant under labelled posets isomorphism;
lattice instance for pomset languages (integration with relation-algebra package);
definition of stronger-than and supported-by preorders over pomset languages.