Parameterised Pushdown Systems with Non−Atomic Writes

Eitemau Tebyg

• Saturation methods for global model-checking pushdown systems
  gan: Hague, M
  Cyhoeddwyd: (2009)
• Saturation Methods for Global Model−Checking Pushdown Systems
  gan: Hague, M
  Cyhoeddwyd: (2009)
• The Complexity of Model Checking (Collapsible) Higher−Order Pushdown Systems
  gan: Hague, M, et al.
  Cyhoeddwyd: (2010)
• Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
  gan: Hague, M, et al.
  Cyhoeddwyd: (2007)
• Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
  gan: Hague, M, et al.
  Cyhoeddwyd: (2008)