Socially Responsive, Environmentally Friendly Logic

This logic looks very interesting, as it covers multiple players.
I still have to understand whether it also supports true concurrency in the sense used in CCP.