%0 Journal Article %T Concepts of Refinement and Simulation in BPA and B-Method %A Marek Vyrost %A £¿tefan Korecko %A £¿tefan Hud¨¢k %J Journal of Computer Science and Control Systems %D 2009 %I Editura Universit??ii din Oradea %X 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. %K b-method %K labeled transition system %K process algebra %K refinement %K simulation %U http://electroinf.uoradea.ro/reviste%20CSCS/documente/JCSCS_2009/Articole_pdf_JCSCS_C_nr_2/JCSCS_2009_Nr_2_CS_Vyrost_Concepts.pdf