Filtration by memory model

Event-Structures / event-struct

Mechanized Theory of Event Structures

MIT License

16 stars 1 forks source link

Open volodeyka opened 3 years ago

volodeyka commented 3 years ago

should we close this PR for now?

eupp commented 3 years ago

should we close this PR for now?

Let it be here for a while. We'll return to this.