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

DOI10.1016/J.JLAMP.2016.11.003zbMath1359.68197OpenAlexW2558977964MaRDI QIDQ511939

Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi, Alessandro Maggi

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

verificationformal semanticsmodel checkingtwitter interactions and communications

Mathematics Subject Classification ID

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

Uses Software

• Maude
• MultiVeStA
• KLAIM
• SCEL

Cites Work

• Unnamed Item
• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• A calculus of mobile processes. II
• A structural approach to operational semantics

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