DMCA

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

by Pietro Di Gianantonio , Furio Honsell , Marina Lenisa
Citations:2 - 1 self