Login / Signup

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

Andrei PopescuElsa L. Gunter
Published in: FoSSaCS (2010)
Keyphrases