Electronic Notes in Theoretical Computer Science, Volume 98

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