On Model checking data−independent systems with arrays with whole−array operations

Míreanna comhchosúla

• On Model Checking Data−independent Systems with Arrays without Reset
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2001)
• On Model Checking Data−independent Systems with Arrays without Reset
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2004)
• Model checking data-independent systems with arrays
  de réir: Newcomb, T, et al.
  Foilsithe / Cruthaithe: (2003)
• Polymorphic systems with arrays: decidability and undecidability
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2003)
• Polymorphic Systems with Arrays‚ 2−Counter Machines and Multiset Rewriting
  de réir: Roscoe, A, et al.
  Foilsithe / Cruthaithe: (2004)