Mark Burgin Marc Smith A Unifying Model of Concurrent Processes. 321-327 2007 conf/fcs/2007 FCS db/conf/fcs/fcs2007.html#BurginS07