Found 1 document(s)
Page 1 of 1
-
We present a generic calculus of "mobile" processes intended as language, labelled transition system, and bisimulation. The distinctive feature of this presentation is an explicit treatment of contexts. Calculi having pr...