# A Labelled Transition System for pi_epsilon-Calculus

A labelled transition system is presented for Milner's
pi_epsilon-calculus. This system is related to the
reduction system for the calculus presented by Bellin
and Scott. Also a reduction system and a labelled
transition system for pi_epsilonI-calculus are given
and their correspondence is studied. This calculus is
a subcalculus of pi_epsilon-calculus in the way
Sangiorgi's piI-calculus is a subcalculus of ordinary
pi-calculus.