Concepts of Refinement and Simulation in BPA and B-Method

This paper deals with theoretical fundamentals of integration of basic process algebra and B-Method. We concentrate on the concept ofrefinement of B-machines and show its relationship to simulation in basic process algebra. The theory is illustrated by a small example.