%0 Journal Article %1 journals/fac/SereW00 %A Sere, Kaisa %A Waldén, Marina %D 2000 %J Formal Aspects Comput. %K dblp %N 4 %P 278-297 %T Data Refinement of Remote Procedures. %U http://dblp.uni-trier.de/db/journals/fac/fac12.html#SereW00 %V 12

@article{journals/fac/SereW00, added-at = {2022-05-09T00:00:00.000+0200}, author = {Sere, Kaisa and Waldén, Marina}, biburl = {https://www.bibsonomy.org/bibtex/283b0fdbed8cba837fe9afaa562af92c1/dblp}, ee = {https://doi.org/10.1007/PL00003935}, interhash = {479c83b0120de03e99acdf62262b50ce}, intrahash = {83b0fdbed8cba837fe9afaa562af92c1}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 4, pages = {278-297}, timestamp = {2024-04-09T05:37:56.000+0200}, title = {Data Refinement of Remote Procedures.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac12.html#SereW00}, volume = 12, year = 2000 }