Social processes, program verification and all that.

Andrea Asperti Herman Geuvers Raja Natarajan

Published in: Math. Struct. Comput. Sci. (2009)

Keyphrases

social interaction
communication patterns
collective learning
social networks
social media
social relationships
social context
databases
machine learning
video sequences
information technology
computational model
process model
social behavior
stochastic processes
sharing information