%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