DMCA

Incremental pattern-based coinduction for process algebra and its Isabelle formalization

by Andrei Popescu , Elsa L. Gunter
Citations:5 - 3 self