Carlo Montangero Laura Semini istributed States Logic. 55-57 2002 TIME http://computer.org/proceedings/time/1474/14740055abs.htm db/conf/time/time2002.html#MontangeroS02