INFINITY 2003 5th International Workshop on Verification of Infinite-State Systems A satellite workshop of CONCUR 2003
September 2nd, 2003 -- Marseilles, France   Proceedings

The final proceedings of INFINITY'2003 will appear in Elsevier's Electronic Notes in Theoretical Computer Science (ENTCS).

The participants' proceedings were distributed in Marseilles. They contain the following papers:

• A. Møller
  Verifying Programs That Manipulate Pointers.
• J. Srba
  Completeness Results for Undecidable Bisimilarity Problems.
• G. Delzanno
  A Symbolic Procedure for Control Reachability in the Asynchronous Pi-Calculus.
• J.-F. Raskin and L. Van Begin
  Petri Nets with Non-blocking Arcs are Difficult to Analyze.
• O. Grinchtein and M. Leucker
  Network Invariants for Real-Time Systems.
• M. Kretinsky, V. Rehak, and J. Strejcek
  On Extensions of Process Rewrite Systems: rewrite systems with weak finite-state unit.
• J. Leroux
  The Affine Hull of a Binary Automaton is Computable in PTIME.