search

equivio / silent-step-spectroscopy

Isabelle formalization of linear-time–branching-time spectroscopy accounting for silent steps
https://equivio.github.io/silent-step-spectroscopy/AFP/LinearTimeBranchingTimeSpectroscopyAccountingForSilentSteps/index.html
Other
0 stars 0 forks source link

Define Expressiveness Price Function #30

Closed betawave closed 11 months ago

betawave commented 12 months ago

This PR depends on: https://github.com/equivio/silent-step-spectroscopy/pull/29 Don't merge it before above PR