Contributos para o estudo da semântica de linguagens com concorrência e mobilidade - Freire, Elisabete Raposo (2004)