Formalisation of Event Structures

Links:

• GitHub repository
• Blueprint
• Blueprint as pdf
• Dependency graph
• Doc pages for this repository

This site is open source. Improve this page.