Naiyong Jin Jifeng He Towards A Truly Concurrent Model for Processes Sharing Resources. 231-239 2005 conf/sefm/2005 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.50 db/conf/sefm/sefm2005.html#JinH05