The Ordinal Recursive Complexity of Lossy Channel Systems

We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates all multiply-recursive functions.

• Type: Conference
• Year: 2008
• Where: LICS
• Authors: Pierre Chambart, Ph. Schnoebelen
• Keywords: Computer Science, LICS 2008, Lossy Channel Systems, Recursive Functions, first Level