@article{DPD:2014, author = {Marija Slavkovik and Louise A. Dennis and Michael Fisher}, date-added = {2016-07-12 11:20:34 +0000}, date-modified = {2016-07-12 11:20:34 +0000}, doi = {10.1007/s10619-014-7161-y}, issn = {0926-8782}, journal = {Distributed and Parallel Databases}, keywords = {Logical foundations; Crowd specification; Formal verification; Predictability}, language = {English}, number = {1}, pages = {3--31}, publisher = {Springer US}, title = {An abstract formal basis for digital crowds}, url = {http://dx.doi.org/10.1007/s10619-014-7161-y}, volume = {33}, year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/s10619-014-7161-y}}