Towards A Truly Concurrent Model for Processes Sharing Resources.

Naiyong Jin, Jifeng He

Browse the full SEFM paper archive.