Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization.

Andrei Popescu, Elsa L. Gunter

Browse the full FOSSACS paper archive.