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

Cached


by Andrei Popescu , Elsa L. Gunter
Citations:2 - 0 self