DMCA

Under consideration for publication in Math. Struct. in Comp. Science Proving the validity of equations in GSOS languages using rule-matching bisimilarity (2010)

by Unknown Authors