@inproceedings { ,
	title = {An Algebraic Algorithm for Structural Validation of Social Protocols},
	booktitle = {Proceedings of the 10th international conference on Business information systems, BIS{\textquoteright}07},
	year = {2007},
	month = {04/2007},
	pages = {570-583},
	publisher = {Springer Verlag},
	type = {inproceedings},
	abstract = {Support for human-to-human interactions over a network is still insufficient. In this paper a model for human-to-human collaboration based on the concept of social protocol is presented and formalized. Then, semantical and structural validity of social protocols is defined. Next, an algebraic representation of social protocols is proposed. Based on this algebraic representation of social protocols, an algorithm for structural validation of social protocols is proposed and illustrated by three examples.},
	keywords = {algebraic representation of social protocols, collaboration modeling, semantical validation, structural validation},
	isbn = {978-3-540-72034-8},
	doi = {10.1007/978-3-540-72035-5_45},
	attachments = {https://www.kti.ue.poznan.pl/sites/default/files/2007-BIS.pdf},
	author = {Willy Picard},
	editor = {Witold Abramowicz}
}
