DMCA

A congruence rule format for name-passing process calculi from mathematical structural operational semantics (2006)

by Marcelo Fiore , Sam Staton
Venue:In Proc. LICS’06
Citations:26 - 5 self