Towards Dynamically Communicating Abstract Machines in the B Method.

Nazareno Aguirre Marcelo Arroyo Juan Bicarregui Lucio Guzmán T. S. E. Maibaum Towards Dynamically Communicating Abstract Machines in the B Method. 141-155 2005 conf/icfem/2005 ICFEM http://dx.doi.org/10.1007/11576280_11 db/conf/icfem/icfem2005.html#AguirreABGM05