Raspberry Pi, Erlang and the SCEL formalism

[Manuel Hernandez]

Hi, we are a team trying to do some research on linking Raspberry Pi, Erlang and the SCEL formalism

(rap.dsi.unifi.it/scel/pdf/SCEL-TR.pdf). We want to get some results about considering 

a Raspberry Pi computer as an autonomous component. Our goal is modelling through 

SCEL the global behaviour of several autonomous components to carry out complex tasks which require 

cooperation and organization. Thanks for accepting us in your valuable group!