Roberto M. Amadio Gérard Boudol Ilaria Castellani Frédéric Boussinot Reactive concurrent programming revisited http://arxiv.org/abs/cs/0512058 2005 CoRR abs/cs/0512058 db/journals/corr/corr0512.html#abs-cs-0512058 informal publication