Pervasive Process Calculus

Abstract Process calculi with various signatures and reaction rules may provide a theoretical basis for pervasive computing.