Volume 98, 2 August 2004

Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003

• 
  Ph. Schnoebelen: Preface: Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003. 1
• 
  Anders Møller: Verifying Programs that Manipulate Pointers: (Invited Talk). 3-4
• 
  Jirí Srba: Completeness Results for Undecidable Bisimilarity Problems. 5-19
• 
  Giorgio Delzanno: A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. 21-33
• 
  Jean-François Raskin, Laurent Van Begin: Petri Nets with Non-blocking Arcs are Difficult to Analyze. 35-55
• 
  Olga Grinchtein, Martin Leucker: Network Invariants for Real-Time Systems. 57-74
• 
  Mojmír Kretínský, Vojtech Rehák, Jan Strejcek: On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit. 75-88
• 
  Jérôme Leroux: The Affine Hull of a Binary Automaton is Computable in Polynomial Time. 89-104