Einar Broch Johnsen, Olaf Owe, Dave Clarke, Joakim Bjørk. A formal model of service-oriented dynamic object groups. Science of Computer Programming, 115:3-22, 2016. [doi]
@article{JohnsenOCB16, title = {A formal model of service-oriented dynamic object groups}, author = {Einar Broch Johnsen and Olaf Owe and Dave Clarke and Joakim Bjørk}, year = {2016}, doi = {10.1016/j.scico.2014.11.014}, url = {http://dx.doi.org/10.1016/j.scico.2014.11.014}, researchr = {https://researchr.org/publication/JohnsenOCB16}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {115}, pages = {3-22}, }