Compositional Verification of Asynchronous Processes via Constraint Solving.

Giorgio Delzanno, Maurizio Gabbrielli

Browse the full ICALP paper archive.