DMCA

Synthesising CCS bisimulation using . . . (2009)

by Filippo Bonchi , Fabio Gadducci , Barbara König