“…It has been extended in a variety of ways, e.g. for contextual reasoning about distributed software systems (Sindhu et al, 2006), for the specification and execution of choreographies for web services (Bai et al, 2012) and, more recently, for the specification of social computers, under the name of Lightweight Social Calculus -LSC (Murray-Rust and Robertson, 2014). It has also been successfully implemented using the logic programming language Prolog, the object oriented programming language Java and the object-functional programming language Scala.…”