DMCA

An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics (2004)

by Bartosz Klin
Citations:23 - 5 self