CSP theorems for communicating B machines

Overview of attention for article published in Formal Aspects of Computing, November 2005

Altmetric Badge

Mentioned by

twitter: 2 X users

Readers on

mendeley: 11 Mendeley
citeulike: 2 CiteULike
connotea: 1 Connotea

So far, Altmetric has seen 2 X posts from 2 X users, with an upper bound of 4,994 followers.

RT @SpringerCompSci: "CSP theorems for communicating B machines" by @SSchneider2025, @helentreharne. Formal Aspects of Computing celebrate…

"CSP theorems for communicating B machines" by @SSchneider2025, @helentreharne. Formal Aspects of Computing celebrates 30 years with inviting you to highlight articles! Read free through Sep `18 https://t.co/oMLICIoXvN @BCS

This page shows the most recent X posts that mention this research output. Click here to find out how to access more activity.