%0 Conference Paper %1 conf/fmoods/Cruz-FilipeLMRV08 %A Cruz-Filipe, Luís %A Lanese, Ivan %A Martins, Francisco %A Ravara, António %A Vasconcelos, Vasco Thudichum %B FMOODS %D 2008 %E Barthe, Gilles %E de Boer, Frank S. %I Springer %K dblp %P 59-77 %T Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. %U http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#Cruz-FilipeLMRV08 %V 5051 %@ 978-3-540-68862-4

@inproceedings{conf/fmoods/Cruz-FilipeLMRV08, added-at = {2018-11-02T00:00:00.000+0100}, author = {Cruz-Filipe, Luís and Lanese, Ivan and Martins, Francisco and Ravara, António and Vasconcelos, Vasco Thudichum}, biburl = {https://www.bibsonomy.org/bibtex/2d60ee616fa794b39fa22e8edc7ead192/dblp}, booktitle = {FMOODS}, crossref = {conf/fmoods/2008}, editor = {Barthe, Gilles and de Boer, Frank S.}, ee = {https://doi.org/10.1007/978-3-540-68863-1_5}, interhash = {7a5f4e02fc693686dd081a2dc93eafc6}, intrahash = {d60ee616fa794b39fa22e8edc7ead192}, isbn = {978-3-540-68862-4}, keywords = {dblp}, pages = {59-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:30:12.000+0200}, title = {Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.}, url = {http://dblp.uni-trier.de/db/conf/fmoods/fmoods2008.html#Cruz-FilipeLMRV08}, volume = 5051, year = 2008 }