Electronic Notes in Theoretical Computer Science, Volume 98

Volume 98, 2 August 2004

• 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