Verifying Infinite State Processes with Sequential and Parallel Composition.

Ahmed Bouajjani, Rachid Echahed, Peter Habermehl

Browse the full POPL paper archive.