WASET
	@article{(Open Science Index):https://publications.waset.org/pdf/15961,
	  title     = {Coloured Reconfigurable Nets for Code Mobility Modeling},
	  author    = {Kahloul Laid and  Chaoui Allaoua},
	  country	= {},
	  institution	= {},
	  abstract     = {Code mobility technologies attract more and more developers and consumers. Numerous domains are concerned, many platforms are developed and interest applications are realized. However, developing good software products requires modeling, analyzing and proving steps. The choice of models and modeling languages is so critical on these steps. Formal tools are powerful in analyzing and proving steps. However, poorness of classical modeling language to model mobility requires proposition of new models. The objective of this paper is to provide a specific formalism “Coloured Reconfigurable Nets" and to show how this one seems to be adequate to model different kinds of code mobility.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {1},
	  number    = {7},
	  year      = {2007},
	  pages     = {1939 - 1944},
	  ee        = {https://publications.waset.org/pdf/15961},
	  url   	= {https://publications.waset.org/vol/7},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 7, 2007},
	}