A language-based approach to modelling and analysis of Twitter interactions

DOI10.1016/J.JLAMP.2016.11.003MaRDI QIDQ511939zbMATH OpenOpenAlexFDO

Authors Alessandro Maggi, Marinella Petrocchi, A. Spognardi, Francesco Tiezzi

Publication date 22 February 2017

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlamp.2016.11.003

zbMATH Keywords

verificationmodel checkingformal semanticstwitter interactions and communications

Mathematics Subject Classification ID

Social networks; opinion dynamics (91D30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modelling of trends in Twitter using retweet graph dynamics
• A polarity analysis framework for Twitter messages

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A calculus of mobile processes. II
• A structural approach to operational semantics
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• The Maude LTL model checker

Describes a project that uses

Uses Software

• SCEL
• KLAIM
• MultiVeStA
• Maude

This page was built for publication: A language-based approach to modelling and analysis of Twitter interactions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q511939)