Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks

相似書籍

• Verification of asynchronous concurrency and the shaped stack constraint
  由: Kochems, J
  出版: (2014)
• Unboundedness and downward closures of higher-order pushdown automata
  由: Hague, M, et al.
  出版: (2016)
• Verification of Opacity and Diagnosability for Pushdown Systems
  由: Koichi Kobayashi, et al.
  出版: (2013-01-01)
• On the Expressive Power of 2-Stack Visibly Pushdown Automata
  由: Benedikt Bollig
  出版: (2008-12-01)
• Collapsible pushdown automata and recursion schemes
  由: Hague, M, et al.
  出版: (2017)