[引用][C] Real-Time and Distributed Stream Processing Architecture for Social Networks; A Process Algebraic Approach