An abstract coalgebraic approach to process equivalence for well-behaved operational semantics (2004)

Cached

Download Links

by Bartosz Klin
Citations:19 - 6 self