Verification of Communicating Processes by Means of Automata Reduction and Abstraction.

Eric Madelaine, Didier Vergamini

Browse the full STACS paper archive.