An abstract formal basis for digital crowds

Slavkovik, Marija; Dennis, Louise A.; Fisher, Michael

doi:10.1007/s10619-014-7161-y

An abstract formal basis for digital crowds (bibtex)

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