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

by Bartosz Klin
Citations:23 - 6 self