@mastersthesis { herve:phd,
	title = {An Infrastructure for Mobile Service-Oriented Computing Encoded on a Process Calculus},
	year = {2006},
	note = {<p>url={http://www-asc.di.fct.unl.pt/~herve/papers/Mob-PhDThesis.pdf}</p>
},
	month = {12},
	school = {Faculdade de Ci{\^e}ncias e Tecnologia, Universidade Nova de Lisboa},
	type = {phd},
	abstract = {n/a},
	author = {Paulino, Herv{\'e}}
}
