Transition Systems: Difference between revisions
No edit summary |
No Category anymore |
||
| Line 1: | Line 1: | ||
Syntax and semantics of the format are presented in [https://www.microsoft.com/en-us/research/publication/termcomp-proposal-pushdown-systems-as-a-model-for-programs-with-procedures/]. | Syntax and semantics of the format are presented in [https://www.microsoft.com/en-us/research/publication/termcomp-proposal-pushdown-systems-as-a-model-for-programs-with-procedures/]. | ||
Latest revision as of 11:43, 18 March 2026
Syntax and semantics of the format are presented in [1].