A formal model of service-oriented dynamic object groups

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},
}