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

Cached

Download Links

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