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

Prove Characterization of Winning Budgets (Proposition 2) #8

Closed crmrtz closed 1 year ago

crmrtz commented 1 year ago

Image

Vervada commented 1 year ago

Currently, no proof is intended for proposition 2, instead it is used to define winning budgets.

benkeks commented 1 year ago

So this issue is superseded by #7