Exportar referência
APA
Luis Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vascon-celos, (2008). Behavioural theory at work: Program transformations in a service-centred calculus. FMOODS'08, 59-77
IEEE
Luis Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco T. Vascon-celos, "Behavioural theory at work: Program transformations in a service-centred calculus" in FMOODS'08, , 2008, pp. 59-77,
doi:
BIBTEX
@InProceedings{32691,
author = {Luis Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco T. Vascon-celos},
title = {Behavioural theory at work: Program transformations in a service-centred calculus},
booktitle = {FMOODS'08},
year = 2008,
pages = {59-77},
address = {},
publisher = {}
}