Some utilities for pomsets - Githubissues

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Some utilities for pomsets #151

Closed eupp closed 2 years ago

eupp commented 2 years ago

intersection of pomset with relation and with another pomset
relabeling of pomset
restriction of pomset onto predicate