Interaction on human centric communication platforms modelling and analysis using algebraic high level nets and processes - Gabriel, Karsten (Berlin, Techn. Univ., Diss., 2014, 2014)