Maura Cerioli Matteo Dell'Amico Injecting Distribution in CASL. 2005 conf/dagstuhl/2005P5081 Foundations of Global Computing http://drops.dagstuhl.de/opus/volltexte/2006/298 db/conf/dagstuhl/P5081.html#CerioliD05