Difference between revisions of "Transition Systems"
From Termination-Portal.org
Jump to navigationJump to search(One intermediate revision by one other user not shown) | |||
Line 1: | Line 1: | ||
[[Category: Categories]] | [[Category: Categories]] | ||
− | + | 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 12:33, 9 May 2020
Syntax and semantics of the format are presented in [1].