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
Last update Sat May 18 20:24:30 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
